Skapa en profil
Offentlig åtkomst
Visa alla18 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Angelo FerrandoAssistant Professor at the University of Modena and Reggio EmiliaVerifierad e-postadress på unimore.it
- Frank WolterDepartment of Computer Science, University of LiverpoolVerifierad e-postadress på liverpool.ac.uk
- Clare DixonUniversity of ManchesterVerifierad e-postadress på manchester.ac.uk
- Renate A SchmidtSchool of Computer Science, The University of ManchesterVerifierad e-postadress på cs.man.ac.uk
- Rafael C. CardosoLecturer at the University of AberdeenVerifierad e-postadress på manchester.ac.uk
- André HernichUniversity of LiverpoolVerifierad e-postadress på liverpool.ac.uk
- Carsten LutzProfessor of Computer Science, University of LeipzigVerifierad e-postadress på informatik.uni-leipzig.de
- Michael FisherProfessor of Computer Science, University of ManchesterVerifierad e-postadress på manchester.ac.uk
- Matt LuckcuckAssistant Professor of Computer ScienceVerifierad e-postadress på nottingham.ac.uk
- Ullrich HustadtReader, Department of Computer Science, University of LiverpoolVerifierad e-postadress på liverpool.ac.uk
- Xiaowei HuangProfessor of Computer Science, University of LiverpoolVerifierad e-postadress på liverpool.ac.uk
- Michael ZakharyaschevBirkbeck, University of LondonVerifierad e-postadress på dcs.bbk.ac.uk
- Jean Christoph JungTU DortmundVerifierad e-postadress på tu-dortmund.de
- Sven LinkerSystem Verification Engineer @ Kernkonzept GmbH