Crea il mio profilo
Accesso pubblico
Visualizza tutto3 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKEmail verificata su cs.ox.ac.uk
- Dieky AdzkiyaDepartment of Mathematics, Institut Teknologi Sepuluh NopemberEmail verificata su matematika.its.ac.id
- Alessandro CimattiFondazione Bruno KesslerEmail verificata su fbk.eu
- Andrea MicheliFondazione Bruno KesslerEmail verificata su fbk.eu
- Lei BuNanjing UniversityEmail verificata su nju.edu.cn
- Stefano TonettaFondazione Bruno KesslerEmail verificata su fbk.eu
- Anna BecchiFondazione Bruno KesslerEmail verificata su fbk.eu
- Mirco GiacobbeUniversity of BirminghamEmail verificata su bham.ac.uk
- Alberto GriggioResearcher, Fondazione Bruno KesslerEmail verificata su fbk.eu
- Goran FrehseProfessor of Computer Science, ENSTA ParisEmail verificata su ensta-paris.fr
- Idriss RiouakLund UniversityEmail verificata su cs.lth.se
- Sergio MoverÉcole Polytechnique and LIXEmail verificata su polytechnique.edu
- SubionoMathematics Department, Institut Teknologi Sepuluh Nopember, SurabayaEmail verificata su matematika.its.ac.id