Skapa en profil
Offentlig åtkomst
Visa alla3 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerifierad e-postadress på cs.ox.ac.uk
- Dieky AdzkiyaDepartment of Mathematics, Institut Teknologi Sepuluh NopemberVerifierad e-postadress på matematika.its.ac.id
- Alessandro CimattiFondazione Bruno KesslerVerifierad e-postadress på fbk.eu
- Andrea MicheliFondazione Bruno KesslerVerifierad e-postadress på fbk.eu
- Lei BuNanjing UniversityVerifierad e-postadress på nju.edu.cn
- Stefano TonettaFondazione Bruno KesslerVerifierad e-postadress på fbk.eu
- Anna BecchiFondazione Bruno KesslerVerifierad e-postadress på fbk.eu
- Mirco GiacobbeUniversity of BirminghamVerifierad e-postadress på bham.ac.uk
- Alberto GriggioResearcher, Fondazione Bruno KesslerVerifierad e-postadress på fbk.eu
- Goran FrehseProfessor of Computer Science, ENSTA ParisVerifierad e-postadress på ensta-paris.fr
- Idriss RiouakLund UniversityVerifierad e-postadress på cs.lth.se
- Sergio MoverÉcole Polytechnique and LIXVerifierad e-postadress på polytechnique.edu
- SubionoMathematics Department, Institut Teknologi Sepuluh Nopember, SurabayaVerifierad e-postadress på matematika.its.ac.id