내 프로필 만들기
공개 액세스
모두 보기자료 50개
자료 2개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- John DerrickUniversity of Sheffieldsheffield.ac.uk의 이메일 확인됨
- Heike WehrheimUniversity of Oldenburguni-oldenburg.de의 이메일 확인됨
- Ian James HayesProfessor of Software Engineering, The University of Queenslanduq.edu.au의 이메일 확인됨
- Simon DohertyUniversity of Sheffieldsheffield.ac.uk의 이메일 확인됨
- Sadegh DalvandiStaff Formal Verification Engineer at Axiomisedalvandi.com의 이메일 확인됨
- Georg StruthUniversity of Sheffieldsheffield.ac.uk의 이메일 확인됨
- Graeme SmithThe University of Queenslanditee.uq.edu.au의 이메일 확인됨
- Ori LahavTel Aviv Universitytau.ac.il의 이메일 확인됨
- Oleg TravkinPhD Student, Universität Paderbornzitmail.uni-paderborn.de의 이메일 확인됨
- Azalea RaadImperial College Londonimperial.ac.uk의 이메일 확인됨
- John WickersonImperial College Londonimperial.ac.uk의 이메일 확인됨
- Jim WoodcockProfessor of Software Engineering, University of Yorkyork.ac.uk의 이메일 확인됨
- Victor GomesResearch Associate, University of Cambridgecl.cam.ac.uk의 이메일 확인됨
- Radha JagadeesanProfessor. School of Computing.depaul.edu의 이메일 확인됨
- James RielyProfessor of Computing, DePaul Universitycs.depaul.edu의 이메일 확인됨
- Tsz Yiu LamBrunel University Londonalumni.brunel.ac.uk의 이메일 확인됨
- Cliff B JonesProfessor of Computing Science, Newcastle University, UKncl.ac.uk의 이메일 확인됨
- Alan BurnsUniversity of York, UKyork.ac.uk의 이메일 확인됨
- Peter Gorm LarsenAarhus Universityece.au.dk의 이메일 확인됨
- Tomas KulikSecurity and Formal Methods evangelist, Sweet Geekssweetgeeks.dk의 이메일 확인됨