David Lidell,
Nir Piterman,
Shaun Azzopardi
49th International Symposium on Mathematical Foundations of Computer Science
-
2024
Shaun Azzopardi,
David Lidell,
Nir Piterman,
Gerardo Schneider
Automated Technology for Verification and Analysis (ATVA)
-
2023