Model Checking Software
Subtitle: 23rd International Symposium, SPIN 2016, Co-Located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings
Publisher: Springer London, Limited
Published: 2016
Language: eng
Number of pages: 245
ISBN-13: 9783319325828
Subjects: Computer software, verification; Software engineering; Computer software, testing