建立我自己的個人學術檔案
公開取用
查看全部50 篇文章
2 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- John DerrickUniversity of Sheffield在 sheffield.ac.uk 的電子郵件地址已通過驗證
- Heike WehrheimUniversity of Oldenburg在 uni-oldenburg.de 的電子郵件地址已通過驗證
- Ian James HayesProfessor of Software Engineering, The University of Queensland在 uq.edu.au 的電子郵件地址已通過驗證
- Simon DohertyUniversity of Sheffield在 sheffield.ac.uk 的電子郵件地址已通過驗證
- Sadegh DalvandiStaff Formal Verification Engineer at Axiomise在 dalvandi.com 的電子郵件地址已通過驗證
- Georg StruthUniversity of Sheffield在 sheffield.ac.uk 的電子郵件地址已通過驗證
- Graeme SmithThe University of Queensland在 itee.uq.edu.au 的電子郵件地址已通過驗證
- Ori LahavTel Aviv University在 tau.ac.il 的電子郵件地址已通過驗證
- Oleg TravkinPhD Student, Universität Paderborn在 zitmail.uni-paderborn.de 的電子郵件地址已通過驗證
- Azalea RaadImperial College London在 imperial.ac.uk 的電子郵件地址已通過驗證
- John WickersonImperial College London在 imperial.ac.uk 的電子郵件地址已通過驗證
- Jim WoodcockProfessor of Software Engineering, University of York在 york.ac.uk 的電子郵件地址已通過驗證
- Victor GomesResearch Associate, University of Cambridge在 cl.cam.ac.uk 的電子郵件地址已通過驗證
- Radha JagadeesanProfessor. School of Computing.在 depaul.edu 的電子郵件地址已通過驗證
- James RielyProfessor of Computing, DePaul University在 cs.depaul.edu 的電子郵件地址已通過驗證
- Tsz Yiu LamBrunel University London在 alumni.brunel.ac.uk 的電子郵件地址已通過驗證
- Cliff B JonesProfessor of Computing Science, Newcastle University, UK在 ncl.ac.uk 的電子郵件地址已通過驗證
- Alan BurnsUniversity of York, UK在 york.ac.uk 的電子郵件地址已通過驗證
- Peter Gorm LarsenAarhus University在 ece.au.dk 的電子郵件地址已通過驗證
- Tomas KulikSecurity and Formal Methods evangelist, Sweet Geeks在 sweetgeeks.dk 的電子郵件地址已通過驗證