Rigorous State-Based Methods : 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

Full text!
Format:
e-book
Title:
Rigorous State-Based Methods : 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Author:
Glässer, Uwe.; Creissac Campos, Jose; Méry, Dominique; Palanque, Philippe
Language:
English
Publisher:
Cham Springer 2023
ISBN:
3-031-33162-1
3-031-33163-X
Permalink:
http://bibtest.howest.be/catalog/ebk03:26707048000041?locale=en