Skapa en profil
Offentlig åtkomst
Visa alla20 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Klaus OstermannProfessor of Computer Science, University of Tübingen, GermanyVerifierad e-postadress på uni-tuebingen.de
- Mira MeziniProfessor of Computer Science, TU Darmstadt, GermanyVerifierad e-postadress på informatik.tu-darmstadt.de
- Eelco VisserProfessor of Computer Science, Delft University of TechnologyVerifierad e-postadress på tudelft.nl
- Christian KästnerCarnegie Mellon University, School of Computer ScienceVerifierad e-postadress på cs.cmu.edu
- Tillmann RendelSAPVerifierad e-postadress på sap.com
- Markus Völterindependent consultant / itemisVerifierad e-postadress på acm.org
- Tijs van der StormSenior Researcher, Centrum Wiskunde & Informatica (CWI)Verifierad e-postadress på cwi.nl
- Gabriël KonatDelft University of TechnologyVerifierad e-postadress på tudelft.nl
- Tamás SzabóGitHubVerifierad e-postadress på github.com
- Guido WachsmuthOracle LabsVerifierad e-postadress på oracle.com
- Guido SalvaneschiAssociate Professor - University of St.GallenVerifierad e-postadress på csail.mit.edu
- Sven KeidelTU Darmstadt, GermanyVerifierad e-postadress på tu-darmstadt.de
- William R. CookAssociate Professor of Computer Science, University of Texas at AustinVerifierad e-postadress på cs.utexas.edu
- Steven KellyCTO at MetaCase, PhD from Univ. of JyväskyläVerifierad e-postadress på metacase.com
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Verifierad e-postadress på tudelft.nl
- Oliver BračevacEngineer / Researcher at GaloisVerifierad e-postadress på galois.com
- Thorsten BergerProfessor of Computer Science, Ruhr University BochumVerifierad e-postadress på rub.de
- Sylvia GreweTU DarmstadtVerifierad e-postadress på st.informatik.tu-darmstadt.de
- André PacakPhD Student (Computer Science) JGU MainzVerifierad e-postadress på uni-mainz.de
- Gábor BergmannBudapesti Műszaki és Gazdaságtudományi EgyetemVerifierad e-postadress på mit.bme.hu