Get my own profile
Public access
View all3 articles
2 articles
available
not available
Based on funding mandates
Co-authors
- Martin OderskyEPFLVerified email at epfl.ch
- Vlad UrechePhD student, LAMP, EPFLVerified email at epfl.ch
- Aggelos BiboudisOracleVerified email at oracle.com
- Tiark RompfPurdue UniversityVerified email at purdue.edu
- Jonathan Immanuel BrachthäuserJun. Prof., Software Engineering, University of Tübingen, GermanyVerified email at b-studios.de
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Verified email at tudelft.nl
- Dmytro PetrashkoPhD candidateVerified email at epfl.ch