Založit si vlastní profil
Veřejný přístup
Zobrazit všechny20 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyE-mailová adresa ověřena na: uni-tuebingen.de
- Mira MeziniProfessor of Computer Science, TU Darmstadt, GermanyE-mailová adresa ověřena na: informatik.tu-darmstadt.de
- Eelco VisserProfessor of Computer Science, Delft University of TechnologyE-mailová adresa ověřena na: tudelft.nl
- Christian KästnerCarnegie Mellon University, School of Computer ScienceE-mailová adresa ověřena na: cs.cmu.edu
- Tillmann RendelSAPE-mailová adresa ověřena na: sap.com
- Markus Völterindependent consultant / itemisE-mailová adresa ověřena na: acm.org
- Tijs van der StormSenior Researcher, Centrum Wiskunde & Informatica (CWI)E-mailová adresa ověřena na: cwi.nl
- Gabriël KonatDelft University of TechnologyE-mailová adresa ověřena na: tudelft.nl
- Tamás SzabóGitHubE-mailová adresa ověřena na: github.com
- Guido WachsmuthOracle LabsE-mailová adresa ověřena na: oracle.com
- Guido SalvaneschiAssociate Professor - University of St.GallenE-mailová adresa ověřena na: csail.mit.edu
- Sven KeidelTU Darmstadt, GermanyE-mailová adresa ověřena na: tu-darmstadt.de
- William R. CookAssociate Professor of Computer Science, University of Texas at AustinE-mailová adresa ověřena na: cs.utexas.edu
- Steven KellyCTO at MetaCase, PhD from Univ. of JyväskyläE-mailová adresa ověřena na: metacase.com
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.E-mailová adresa ověřena na: tudelft.nl
- Oliver BračevacEngineer / Researcher at GaloisE-mailová adresa ověřena na: galois.com
- Thorsten BergerProfessor of Computer Science, Ruhr University BochumE-mailová adresa ověřena na: rub.de
- André PacakPhD Student (Computer Science) JGU MainzE-mailová adresa ověřena na: uni-mainz.de
- Sylvia GreweTU DarmstadtE-mailová adresa ověřena na: st.informatik.tu-darmstadt.de
- Gábor BergmannBudapesti Műszaki és Gazdaságtudományi EgyetemE-mailová adresa ověřena na: mit.bme.hu
Sledovat
Sebastian Erdweg
Professor of Computer Science, JGU Mainz
E-mailová adresa ověřena na: uni-mainz.de - Domovská stránka