Mijn eigen profiel maken
Openbare toegang
Alles bekijken20 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyGeverifieerd e-mailadres voor uni-tuebingen.de
- Mira MeziniProfessor of Computer Science, TU Darmstadt, GermanyGeverifieerd e-mailadres voor informatik.tu-darmstadt.de
- Eelco VisserProfessor of Computer Science, Delft University of TechnologyGeverifieerd e-mailadres voor tudelft.nl
- Christian KästnerCarnegie Mellon University, School of Computer ScienceGeverifieerd e-mailadres voor cs.cmu.edu
- Tillmann RendelSAPGeverifieerd e-mailadres voor sap.com
- Markus Völterindependent consultant / itemisGeverifieerd e-mailadres voor acm.org
- Tijs van der StormSenior Researcher, Centrum Wiskunde & Informatica (CWI)Geverifieerd e-mailadres voor cwi.nl
- Gabriël KonatDelft University of TechnologyGeverifieerd e-mailadres voor tudelft.nl
- Tamás SzabóGitHubGeverifieerd e-mailadres voor github.com
- Guido WachsmuthOracle LabsGeverifieerd e-mailadres voor oracle.com
- Guido SalvaneschiAssociate Professor - University of St.GallenGeverifieerd e-mailadres voor csail.mit.edu
- Sven KeidelTU Darmstadt, GermanyGeverifieerd e-mailadres voor tu-darmstadt.de
- William R. CookAssociate Professor of Computer Science, University of Texas at AustinGeverifieerd e-mailadres voor cs.utexas.edu
- Steven KellyCTO at MetaCase, PhD from Univ. of JyväskyläGeverifieerd e-mailadres voor metacase.com
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Geverifieerd e-mailadres voor tudelft.nl
- Oliver BračevacEngineer / Researcher at GaloisGeverifieerd e-mailadres voor galois.com
- Thorsten BergerProfessor of Computer Science, Ruhr University BochumGeverifieerd e-mailadres voor rub.de
- André PacakPhD Student (Computer Science) JGU MainzGeverifieerd e-mailadres voor uni-mainz.de
- Sylvia GreweTU DarmstadtGeverifieerd e-mailadres voor st.informatik.tu-darmstadt.de
- Gábor BergmannBudapesti Műszaki és Gazdaságtudományi EgyetemGeverifieerd e-mailadres voor mit.bme.hu