| Login | Create Account | |||
|
Items where Author is "Knapp, A." |
||
|
|
Group by: Item Type | No Grouping Jump to: Conference Proceedings Number of items: 1. Conference ProceedingsJunker, M. and Huuck, R. and Fehnker, Ansgar and Knapp, A. (2012) SMT - based false positive elimination in static program analysis. [Conference Proceedings] |
||
