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

Uwe Glässer , Jose Creissac Campos , Dominique Mery