Pubblicazioni

SyLVaaS: System level formal verification as a service

2016 - FUNDAMENTA INFORMATICAE
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma