建立我自己的個人學術檔案
公開取用
查看全部2 篇文章
0 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of Cambridge在 cl.cam.ac.uk 的電子郵件地址已通過驗證
- Dominic MulliganPrincipal Applied Scientist, Amazon Web Services在 amazon.co.uk 的電子郵件地址已通過驗證
- Christian UrbanKing's College London在 kcl.ac.uk 的電子郵件地址已通過驗證
- Mohammad Reza MousaviProfessor of Software Engineering, King's College London在 kcl.ac.uk 的電子郵件地址已通過驗證
- Stéphane Graham-LengrandSRI International在 csl.sri.com 的電子郵件地址已通過驗證
- Dan R. GhicaProfessor of Semantics of Programming Languages, University of Birmingham在 cs.bham.ac.uk 的電子郵件地址已通過驗證
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of Edinburgh在 inf.ed.ac.uk 的電子郵件地址已通過驗證
- Aleksandar NanevskiIMDEA Software Institute在 imdea.org 的電子郵件地址已通過驗證
- Dr. Claus-Peter WirthResearch Fellow, FB AI, Hochschule Harz在 logic.at 的電子郵件地址已通過驗證
追蹤
Murdoch Gabbay
Lecturer in Computer Science at Heriot-Watt University, Edinburgh, UK
在 hw.ac.uk 的電子郵件地址已通過驗證 - 首頁