Get my own profile
Public access
View all2 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Ina SchaeferKarlsruhe Institute of Technology (KIT)Verified email at kit.edu
- Dave ClarkeIndependentVerified email at storytel.com
- Peter Y. H. WongPreneticsVerified email at wolfson.oxon.org
- Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtVerified email at cs.tu-darmstadt.de
- Radu MuscheviciTU DarmstadtVerified email at cs.tu-darmstadt.de
- Stijn de GouwAssistant Professor, Open University, The NetherlandsVerified email at ou.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
- Joost WinterUniversity of WarsawVerified email at mimuw.edu.pl