Publications

Publications for Stefano Tonetta

2019
DOI
[bibtex]
Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. COMPASS 3.0 (Tool paper). TACAS 2019, Volume 11427 of LNCS, pages 379–385, Springer, 2019.
Show all