Crea il mio profilo
Accesso pubblico
Visualizza tutto3 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
Stefano ZacchiroliLTCI, Télécom Paris, Polytechnique Institute of Paris, FranceEmail verificata su telecom-paris.fr
Xavier LeroyCollège de FranceEmail verificata su college-de-france.fr
Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHEmail verificata su kerguelen.org
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaEmail verificata su cs.unibo.it
Fabio MancinelliXWiki SASEmail verificata su xwiki.com
Paulo TrezentosAssistant Professor, ISCTE-IULEmail verificata su iscte.pt
Kim BruceProfessor of Computer Science, Pomona CollegeEmail verificata su pomona.edu
Patrizio PelliccioneFull Professor in Computer Science and Software Engineering at Gran Sasso Science Institute (GSSI)Email verificata su gssi.it
Davide Di RuscioAssociate Professor, DISIM, University of L'Aquila (Italy)Email verificata su di.univaq.it
Alfonso PierantonioFull Professor of Computer Science, Università degli Studi dell'AquilaEmail verificata su univaq.it
Dale MillerDirector of Research, INRIAEmail verificata su inria.fr
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityEmail verificata su di.unito.it
Tova MiloProfessor of Computer Science, Tel Aviv UniversityEmail verificata su cs.tau.ac.il
Serge AbiteboulINRIA SaclayEmail verificata su inria.fr