Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings - Glässer, Uwe; Creissac Campos, Jose; Méry, Dominique; Palanque, Philippe (Lecture Notes in Computer Science, 2023)