Crea il mio profilo
Accesso pubblico
Visualizza tutto1 articolo
1 articolo
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiEmail verificata su helsinki.fi
- Alessandro CimattiFondazione Bruno KesslerEmail verificata su fbk.eu
- Antti E. J. HyvärinenSenior Research Scientist, CertoraEmail verificata su certora.com
- Roberto BruttomessoExpert Researcher and Software EngineerEmail verificata su atrenta.com
- Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyEmail verificata su unitn.it
- Marco BozzanoFondazione Bruno KesslerEmail verificata su fbk.eu
- Peter van RossumEmail verificata su cs.ru.nl
- Petteri KaskiAssistant Professor of Computer Science, Aalto UniversityEmail verificata su aalto.fi
- Armin BiereProfessor of Computer Science, University of FreiburgEmail verificata su informatik.uni-freiburg.de
- Matti JärvisaloProfessor, University of HelsinkiEmail verificata su helsinki.fi
- Stephan SchulzProfessor of Computer Science, DHBW StuttgartEmail verificata su eprover.org
- Silvio RaniseFBKEmail verificata su fbk.eu
- Ivan PorresÅbo Akademi UniversityEmail verificata su abo.fi
- Martin LangeProfessor of Computer Science, University of KasselEmail verificata su uni-kassel.de
- Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyEmail verificata su uni-bremen.de
- Jukka KohonenAalto UniversityEmail verificata su aalto.fi