|
Items where Author is "Knapp, A." |
||
|
|
Group by: Item Type | No Grouping Number of items: 1. Junker, M. and Huuck, R. and Fehnker, Ansgar and Knapp, A. (2012) SMT - based false positive elimination in static program analysis. [Conference Proceedings] |
||
![[up]](/style/images/multi_up.png)
Up a level