Daniel Hausmann,
Mathieu Lehaut,
Nir Piterman
27th International Conference on Foundations of Software Science and Computation Structures
-
2024
J Grange,
Mathieu Lehaut
Lecture Notes in Computer Science (LNCS)
-
2024