Pubblicazioni

Pattern-based Rewriting through Abstraction

2016 - FUNDAMENTA INFORMATICAE
Bottoni, Paolo Gaspare; Guerra, Esther; De Lara, Juan

SyLVaaS: System level formal verification as a service

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

Now or never: negotiating efficiently with unknown or untrusted counterparts

2016 - FUNDAMENTA INFORMATICAE
Mancini, Toni

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