Get my own profile
Public access
View all7 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- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
- James McKinnaHeriot-Watt University, EdinburghVerified email at hw.ac.uk
- Andy SchürrTU DarmstadtVerified email at es.tu-darmstadt.de
- Jane HillstonProfessor of Quantitative Modelling, University of EdinburghVerified email at ed.ac.uk
- Stephen GilmoreProfessor of Software Systems Modelling, The University of EdinburghVerified email at inf.ed.ac.uk
- Zhenjiang HuProfessor, School of Computer Science, Peking UniversityVerified email at pku.edu.cn
- Timothy LethbridgeProfessor of Software Engineering and Computer Science, University of Ottawa, CanadaVerified email at uottawa.ca
- Juliana Küster Filipe BowlesProfessor, University of St AndrewsVerified email at st-andrews.ac.uk
- Martin WirsingProfessor of Computer Science, LMU MunichVerified email at lmu.de
- Birgit DemuthTechnische Universität DresdenVerified email at acm.org
- Martin LeuckerProfessor of Computer Science, University of LübeckVerified email at isp.uni-luebeck.de
- Hubert BaumeisterTechnical University of DenmarkVerified email at dtu.dk
- Jon WhittleCSIRO's Data61Verified email at data61.csiro.au
- Cristina Adriana AlexandruLecturer, School of Informatics, University of EdinburghVerified email at ed.ac.uk
Follow
Perdita Stevens
Professor of Mathematics of Software Engineering, LFCS, Informatics, University of Edinburgh
Verified email at inf.ed.ac.uk - Homepage