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