Model Checking Software
Subtitle: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Publisher: Springer
Published: Jun 17, 2018
Format: paperback
Number of pages: 363
ISBN-13: 9783319941103
Notes: Source title: Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings (Lecture Notes in Computer Science (10869))