Model Checking Software
Subtitle: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
Publisher: Springer
Published: Sep 03, 2015
Format: paperback
Number of pages: 337
ISBN-13: 9783319234038
Notes: Source title: Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings (Lecture Notes in Computer Science (9232))