in Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 14010, Pages: 212-219
Conference
9Th International Conference on Rigorous State-Based Methods, Abz 2023, Date: 30 May 2023 through 2 June 2023