1
Rigorous State-Based Methods [E-Book] : 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings /