Static Analysis [E-Book]: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings / edited by Antoine Miné, David Schmidt.
Miné, Antoine.
Schmidt, David.
Berlin, Heidelberg : Springer Berlin Heidelberg : 2012
Imprint: Springer,
digital.
englisch
9783642331251
10.1007/978-3-642-33125-1
Lecture notes in computer science ; 7460
Full Text
Description not available.