
Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings (Lecture Notes in Computer Science, 13255) (PDF/EPUB Version)
$19.99
Description
Author: Owolabi Legunsen (editor), Grigore Rosu (editor)
Series:
Publisher: Springer
Year: 2022
Edition:
Language: English
ISSN: