IMT Institute / Specialization-based Verification Fabio Fioravanti University of Chieti-Pescara Viale Pindaro / Valerio Senni IMT Institute / Alberto Pettorossi University of Rome Tor Vergata Via del Politecnico / /
University of Rome / IMT Institute for Advanced Studies Lucca / Verification Fabio Fioravanti University of Chieti-Pescara Viale Pindaro / Institute for Advanced Studies Lucca Piazza San Ponziano / /
Person
M. Proietti / V / Valerio Senni / Maurizio Proietti / Tor Vergata Via del Politecnico / /