Crea il mio profilo
Accesso pubblico
Visualizza tutto4 articoli
1 articolo
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Pedro R. D'ArgenioFaMAF, Universidad Nacional de Córdoba - CONICETEmail verificata su famaf.unc.edu.ar
- Daniel GeblerVU University AmsterdamEmail verificata su vu.nl
- Gianluigi ZavattaroProfessor in Computer Science, University of BolognaEmail verificata su cs.unibo.it
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Email verificata su cwi.nl
- Pierre L'EcuyerProfessor, DIRO, University of MontrealEmail verificata su iro.umontreal.ca
- Gerardo RubinoInria/IrisaEmail verificata su inria.fr
- Bruno TuffinInriaEmail verificata su inria.fr
- Héctor CancelaUniversidad de la RepublicaEmail verificata su fing.edu.uy
- Martin SteffenUniversity of OsloEmail verificata su ifi.uio.no
- Raúl E. MontiUniversity of TwenteEmail verificata su utwente.nl
- Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyEmail verificata su win.tue.nl
- Jurriaan RotRadboud UniversityEmail verificata su cs.ru.nl
- Filippo BonchiCNRS ENS-LyonEmail verificata su ens-lyon.fr
- Bas LuttikAssociate Professor of Computer Science, Eindhoven University of TechnologyEmail verificata su tue.nl