Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings Glässer, Uwe Heftet / 2023 / Engelsk
