Shaun Azzopardi,
David Lidell,
Nir Piterman,
Gerardo Schneider
Automated Technology for Verification and Analysis (ATVA)
-
2023