Get my own profile
Co-authors
Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtVerified email at cs.tu-darmstadt.de
Richard BubelDepartment of Computer Science, TU DarmstadtVerified email at cs.tu-darmstadt.de
Wojciech MostowskiHalmstad UniversityVerified email at hh.se
Gerardo SchneiderProfessor of Computer Science, University of GothenburgVerified email at cse.gu.se
Gordon J. PaceDepartment of Computer Science, University of MaltaVerified email at um.edu.mt
Andreas RothSAP SEVerified email at sap.com
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Philipp RuemmerAssociate Professor (Docent) in Computer Science, Uppsala UniversityVerified email at it.uu.se
Peter BaumgartnerData61|CSIROVerified email at data61.csiro.au
Silvio RaniseFBKVerified email at fbk.eu
Wolfgang Ahrendt
Professor of Computer Science, Chalmers University of Technology
Verified email at chalmers.se