Model Checking Software
Subtitle: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
By: edited by Jaco Pol, Michael Weber
Contributors: Weber, Michael; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6349
Publisher: Springer Berlin Heidelberg
Published: 2010
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642161636; 9783642161643
Subjects: Logic design; Computer science; Software engineering