Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings

Full text!
Type:
e-book
Titel:
Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
Auteur:
Neele, Thomas.; Wijs, Anton
Taal:
Engels
Uitgever:
Cham Springer 2024
ISBN:
3-031-66148-6
3-031-66149-4
Permalink:
http://bibtest.howest.be/catalog/ebk03:36340924500041