Proceedings
Year : 2021
Dominique Méry : Connect in order to contact the contributor
https://inria.hal.science/hal-03529208
Submitted on : Monday, January 17, 2022-2:58:46 PM
Last modification on : Monday, September 11, 2023-5:41:18 PM
Cite
Alexander Raschke, Dominique Méry. Rigorous State-Based Methods-8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings. ABZ 2021 - 8th International Conference on Rigorous State Based Methods, Jun 2021, Ulm, Germany. 12709, Springer International Publishing, 2021, Lecture Notes in Computer Science, 978-3-030-77543-8. ⟨10.1007/978-3-030-77543-8⟩. ⟨hal-03529208⟩
31
View
0
Download