Crea il mio profilo
Accesso pubblico
Visualizza tutto4 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 BruceEmeritus Professor of Computer Science, Pomona CollegeEmail verificata su pomona.edu
- Patrizio PelliccioneDirector of the CS area and Prof. in Software Engineering at Gran Sasso Science Institute (GSSI)Email verificata su gssi.it
- Davide Di RuscioFull 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 MillerInria-Saclay and LIX, Ecole PolytechniqueEmail verificata su inria.fr
- Serge AbiteboulINRIA SaclayEmail verificata su inria.fr
- Tova MiloProfessor of Computer Science, Tel Aviv UniversityEmail verificata su cs.tau.ac.il
- Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityEmail verificata su di.unito.it