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

Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque, 3031331621, 9783031331626