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

Full text!
Type:
e-book
Titel:
Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
Auteur:
Legunsen, Owolabi.; Rosu, Grigore
Taal:
Engels
Uitgever:
Cham Springer International Publishing AG 2022
ISBN:
3-031-15076-7
3-031-15077-5
Permalink:
http://bibtest.howest.be/catalog/ebk03:24735739200041