Book Title: Model Checking Software
Book Subtitle: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
Editors: Owolabi Legunsen, Grigore Rosu
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-15077-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2022
Softcover ISBN: 978-3-031-15076-0Published: 23 August 2022
eBook ISBN: 978-3-031-15077-7Published: 22 August 2022
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: IX, 153
Number of Illustrations: 14 b/w illustrations, 27 illustrations in colour
