Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
by Owolabi Legunsen, Grigore Rosu Paperback 2022
- Author: Owolabi Legunsen, Grigore Rosu
- ISBN 13: 9783031150760
- ISBN 10: 3031150767
- Publication Year: 2022
- Language: English
Specifications
Index-103031150767
LanguageEnglish
Index-139783031150760
Period-
Class Track-
Publisher- (2022)
Pages-
✨ Readers also enjoyed...
My First Super Simple Coloring Book