Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings (Lecture Notes in Computer Science, 14010, Band 14010)