Založit si vlastní profil
Veřejný přístup
Zobrazit všechny1 článek
1 článek
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiE-mailová adresa ověřena na: helsinki.fi
- Alessandro CimattiFondazione Bruno KesslerE-mailová adresa ověřena na: fbk.eu
- Antti E. J. HyvärinenSenior Research Scientist, CertoraE-mailová adresa ověřena na: certora.com
- Roberto BruttomessoExpert Researcher and Software EngineerE-mailová adresa ověřena na: atrenta.com
- Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyE-mailová adresa ověřena na: unitn.it
- Marco BozzanoFondazione Bruno KesslerE-mailová adresa ověřena na: fbk.eu
- Peter van RossumE-mailová adresa ověřena na: cs.ru.nl
- Petteri KaskiAssistant Professor of Computer Science, Aalto UniversityE-mailová adresa ověřena na: aalto.fi
- Armin BiereProfessor of Computer Science, University of FreiburgE-mailová adresa ověřena na: informatik.uni-freiburg.de
- Matti JärvisaloProfessor, University of HelsinkiE-mailová adresa ověřena na: helsinki.fi
- Stephan SchulzProfessor of Computer Science, DHBW StuttgartE-mailová adresa ověřena na: eprover.org
- Silvio RaniseFBKE-mailová adresa ověřena na: fbk.eu
- Ivan PorresÅbo Akademi UniversityE-mailová adresa ověřena na: abo.fi
- Martin LangeProfessor of Computer Science, University of KasselE-mailová adresa ověřena na: uni-kassel.de
- Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyE-mailová adresa ověřena na: uni-bremen.de
- Jukka KohonenAalto UniversityE-mailová adresa ověřena na: aalto.fi