Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Owolabi Legunsen , Grigore Roșu
No ratings yet
Aug 23, 2022 · English · Paperback (162 pages)
Add To Shelf

Rate this book

Export Book Journal

Reviews

No reviews yet

Be the first to review this book and share your thoughts

Sign In to Review
Add To Shelf

Rate this book

Export Book Journal