Model Checking Software : 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings

Type:

e-book

Titel:

Model Checking Software : 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings

Auteur:

Caltais, Georgiana.; Schilling, Christian

Taal:

Engels

Uitgever:

Cham Springer 2023

ISBN:

3-031-32156-1
3-031-32157-X

Permalink:

http://bibtest.howest.be/catalog/ebk03:26557652100041