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 1966- (Springer, 2023)