Get my own profile
Public access
View all18 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Angelo FerrandoAssistant Professor at the University of Modena and Reggio EmiliaVerified email at unimore.it
- Frank WolterDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
- Clare DixonUniversity of ManchesterVerified email at manchester.ac.uk
- Renate A SchmidtSchool of Computer Science, The University of ManchesterVerified email at cs.man.ac.uk
- Rafael C. CardosoLecturer at the University of AberdeenVerified email at manchester.ac.uk
- André HernichUniversity of LiverpoolVerified email at liverpool.ac.uk
- Carsten LutzProfessor of Computer Science, University of LeipzigVerified email at informatik.uni-leipzig.de
- Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
- Matt LuckcuckAssistant Professor of Computer ScienceVerified email at nottingham.ac.uk
- Ullrich HustadtReader, Department of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
- Xiaowei HuangProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
- Michael ZakharyaschevBirkbeck, University of LondonVerified email at dcs.bbk.ac.uk
- Jean Christoph JungTU DortmundVerified email at tu-dortmund.de
- Sven LinkerSystem Verification Engineer @ Kernkonzept GmbH