Static Analysis
Subtitle: 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
By: edited by Eran Yahav
Contributors: SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6887
Publisher: Springer-Verlag GmbH Berlin Heidelberg
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642237010; 9783642237027
Subjects: Logic design; Computer simulation; Computer science; Software engineering