Verification, Model Checking, and Abstract Interpretation
Subtitle: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings
By: edited by Ranjit Jhala, David Schmidt
Contributors: Schmidt, David; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6538
Publisher: Springer Berlin Heidelberg
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642182747; 9783642182754
Subjects: Logic design; Computer science; Software engineering; Computer software