Crea il mio profilo
Accesso pubblico
Visualizza tutto2 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Roderick BloemGraz University of TechnologyEmail verificata su iaik.tugraz.at
- Barbara JobstmannScientist at EPFLEmail verificata su epfl.ch
- Alessio R LomuscioImperial College LondonEmail verificata su imperial.ac.uk
- axel legayUCLouvainEmail verificata su uclouvain.be
- Saddek BensalemUniversité Grenoble Alpes, VERIMAGEmail verificata su univ-grenoble-alpes.fr
- Byron CookProfessor of Computer Science, UCL, AmazonEmail verificata su cs.ucl.ac.uk
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Email verificata su cwi.nl
- Joseph SifakisReseracher at Verimag laboratory, GrenobleEmail verificata su imag.fr
- Charles MorissetReader in Security, Newcastle UniversityEmail verificata su ncl.ac.uk
- Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityEmail verificata su cs.biu.ac.il