내 프로필 만들기
공개 액세스
모두 보기자료 18개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Angelo FerrandoAssistant Professor at the University of Modena and Reggio Emiliaunimore.it의 이메일 확인됨
- Frank WolterDepartment of Computer Science, University of Liverpoolliverpool.ac.uk의 이메일 확인됨
- Clare DixonUniversity of Manchestermanchester.ac.uk의 이메일 확인됨
- Renate A SchmidtSchool of Computer Science, The University of Manchestercs.man.ac.uk의 이메일 확인됨
- Rafael C. CardosoLecturer at the University of Aberdeenmanchester.ac.uk의 이메일 확인됨
- André HernichUniversity of Liverpoolliverpool.ac.uk의 이메일 확인됨
- Carsten LutzProfessor of Computer Science, University of Leipziginformatik.uni-leipzig.de의 이메일 확인됨
- Michael FisherProfessor of Computer Science, University of Manchestermanchester.ac.uk의 이메일 확인됨
- Matt LuckcuckAssistant Professor of Computer Sciencenottingham.ac.uk의 이메일 확인됨
- Ullrich HustadtReader, Department of Computer Science, University of Liverpoolliverpool.ac.uk의 이메일 확인됨
- Xiaowei HuangProfessor of Computer Science, University of Liverpoolliverpool.ac.uk의 이메일 확인됨
- Michael ZakharyaschevBirkbeck, University of Londondcs.bbk.ac.uk의 이메일 확인됨
- Jean Christoph JungTU Dortmundtu-dortmund.de의 이메일 확인됨
- Sven LinkerSystem Verification Engineer @ Kernkonzept GmbH