Get my own profile
Public access
View all3 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Jeremy GibbonsProfessor of Computing, University of OxfordVerified email at cs.ox.ac.uk
Einar Broch JohnsenProfessor, University of OsloVerified email at ifi.uio.no
Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtVerified email at cs.tu-darmstadt.de
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Elvira AlbertComplutense University of SpainVerified email at sip.ucm.es
Ina SchaeferKarlsruhe Institute of Technology (KIT)Verified email at kit.edu
Stijn de GouwAssistant Professor, Open University, The NetherlandsVerified email at ou.nl
Silvia Lizeth Tapia TarifaAssociate Professor, Department of Informatics - University Of OsloVerified email at ifi.uio.no
Radu MuscheviciTU DarmstadtVerified email at cs.tu-darmstadt.de
Dave ClarkeIndependentVerified email at storytel.com
Muddassar Azam SindhuAssociate Professor, Computer Science Department, Quaid i Azam University, IslamabadVerified email at qau.edu.pk
Karl MeinkeProfessor of Computer Science KTH Royal Institute of TechnologyVerified email at kth.se
Miguel Gómez-ZamalloaAssociate Professor of Computer Science, Complutense University of MadridVerified email at fdi.ucm.es
Michiel HelvensteijnSoftware Engineer at MetaVerified email at meta.com
Jose ProencaCISTER, Faculty of Sciences, University or Porto, PortugalVerified email at proenca.org
Lei FengAssociate Professor, KTH Royal Institute of TechnologyVerified email at kth.se
carlo augusto graziaTenure-Track Assistant Professor, University of Modena and Reggio EmiliaVerified email at unimore.it
Cosimo LaneveProfessor of Computer Science, University of BolognaVerified email at unibo.it
Puri ArenasAssociate ProfessorVerified email at sip.ucm.es
Richard BubelDepartment of Computer Science, TU DarmstadtVerified email at cs.tu-darmstadt.de