Skapa en profil
Offentlig åtkomst
Visa alla5 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
- Sebastian ErdwegProfessor of Computer Science, JGU MainzVerifierad e-postadress på uni-mainz.de
- Christian KästnerCarnegie Mellon University, School of Computer ScienceVerifierad e-postadress på cs.cmu.edu
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Verifierad e-postadress på tudelft.nl
- Thorsten BergerProfessor of Computer Science, Ruhr University BochumVerifierad e-postadress på rub.de
- Sven ApelProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerifierad e-postadress på cs.uni-saarland.de
- Eelco VisserProfessor of Computer Science, Delft University of TechnologyVerifierad e-postadress på tudelft.nl
- Eric WalkingshawElemental CognitionVerifierad e-postadress på ec.ai