Model Checking Software
Subtitle: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
By: edited by Alex Groce, Madanlal Musuvathi
Contributors: Musuvathi, Madanlal; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6823
Publisher: Springer-Verlag GmbH Berlin Heidelberg
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642223051; 9783642223068
Subjects: Logic design; Computer science; Software engineering