Get my own profile
Public access
View all17 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
Clare DixonUniversity of ManchesterVerified email at manchester.ac.uk
Frank WolterDepartment of Computer Science, University of LiverpoolVerified email at liverpool.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
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Matt LuckcuckAssistant Professor of Computer ScienceVerified email at nottingham.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