Skapa en profil
Offentlig åtkomst
Visa alla3 artiklar
2 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Martin OderskyEPFLVerifierad e-postadress på epfl.ch
- Vlad UrechePhD student, LAMP, EPFLVerifierad e-postadress på epfl.ch
- Aggelos BiboudisOracleVerifierad e-postadress på oracle.com
- Tiark RompfPurdue UniversityVerifierad e-postadress på purdue.edu
- Jonathan Immanuel BrachthäuserJun. Prof., Software Engineering, University of Tübingen, GermanyVerifierad e-postadress på b-studios.de
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Verifierad e-postadress på tudelft.nl
- Dmytro PetrashkoPhD candidateVerifierad e-postadress på epfl.ch