Static Analysis
Subtitle: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
By: edited by Antoine Miné, David Schmidt
Contributors: Schmidt, David; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7460
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642331251
Subjects: Mathematical Logic and Formal Languages; Logic design; Logics and Meanings of Programs; Computer science; Software engineering; Programming Languages, Compilers, Interpreters