Mijn eigen profiel maken
Openbare toegang
Alles bekijken1 artikel
1 artikel
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiGeverifieerd e-mailadres voor helsinki.fi
- Alessandro CimattiFondazione Bruno KesslerGeverifieerd e-mailadres voor fbk.eu
- Antti E. J. HyvärinenSenior Research Scientist, CertoraGeverifieerd e-mailadres voor certora.com
- Roberto BruttomessoExpert Researcher and Software EngineerGeverifieerd e-mailadres voor atrenta.com
- Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyGeverifieerd e-mailadres voor unitn.it
- Marco BozzanoFondazione Bruno KesslerGeverifieerd e-mailadres voor fbk.eu
- Peter van RossumGeverifieerd e-mailadres voor cs.ru.nl
- Petteri KaskiAssistant Professor of Computer Science, Aalto UniversityGeverifieerd e-mailadres voor aalto.fi
- Armin BiereProfessor of Computer Science, University of FreiburgGeverifieerd e-mailadres voor informatik.uni-freiburg.de
- Matti JärvisaloProfessor, University of HelsinkiGeverifieerd e-mailadres voor helsinki.fi
- Stephan SchulzProfessor of Computer Science, DHBW StuttgartGeverifieerd e-mailadres voor eprover.org
- Silvio RaniseFBKGeverifieerd e-mailadres voor fbk.eu
- Ivan PorresÅbo Akademi UniversityGeverifieerd e-mailadres voor abo.fi
- Martin LangeProfessor of Computer Science, University of KasselGeverifieerd e-mailadres voor uni-kassel.de
- Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyGeverifieerd e-mailadres voor uni-bremen.de
- Jukka KohonenAalto UniversityGeverifieerd e-mailadres voor aalto.fi