Založit si vlastní profil
Veřejný přístup
Zobrazit všechny14 článků
1 článek
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtE-mailová adresa ověřena na: cs.tu-darmstadt.de
- Richard BubelDepartment of Computer Science, TU DarmstadtE-mailová adresa ověřena na: cs.tu-darmstadt.de
- Gerardo SchneiderProfessor of Computer Science, University of GothenburgE-mailová adresa ověřena na: cse.gu.se
- Gordon J. PaceDepartment of Computer Science, University of MaltaE-mailová adresa ověřena na: um.edu.mt
- Wojciech MostowskiHalmstad UniversityE-mailová adresa ověřena na: hh.se
- Andreas RothSAP SEE-mailová adresa ověřena na: sap.com
- Philipp RuemmerProfessor in Computer Science, University of RegensburgE-mailová adresa ověřena na: ur.de
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.E-mailová adresa ověřena na: cwi.nl
- Peter BaumgartnerData61|CSIROE-mailová adresa ověřena na: data61.csiro.au
- Silvio RaniseFBKE-mailová adresa ověřena na: fbk.eu
Sledovat
Wolfgang Ahrendt
Professor of Computer Science, Chalmers University of Technology
E-mailová adresa ověřena na: chalmers.se