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
Dave ClarkeIndependentVerified email at storytel.com
Radu MuscheviciTU DarmstadtVerified email at cs.tu-darmstadt.de
Silvia Lizeth Tapia TarifaResearcher, Department of Informatics - University Of OsloVerified email at ifi.uio.no
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 HelvensteijnCWI, Amsterdam and LIACS, Leiden UniversityVerified email at cwi.nl
Jose ProencaCISTER - ISEPVerified email at proenca.org
carlo augusto graziaAssistant Professor, University of Modena and Reggio EmiliaVerified email at unimore.it
Cosimo LaneveProfessor of Computer Science, University of BolognaVerified email at unibo.it
Lei FengAssociate Professor, KTH Royal Institute of TechnologyVerified email at kth.se
Puri ArenasAssociate ProfessorVerified email at sip.ucm.es
Germán PueblaAssociate ProfessorVerified email at fi.upm.es