Model Checking Software
Subtitle: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Publisher: Springer
Published: Sep 14, 2019
Format: paperback
Number of pages: 271
ISBN-13: 9783030309220
Notes: Source title: Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings (Lecture Notes in Computer Science (11636))