建立我自己的個人學術檔案
公開取用
查看全部15 篇文章
0 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Daniel KroeningAmazon在 amazon.com 的電子郵件地址已通過驗證
- Christian SchallhartGoogle在 schallhart.net 的電子郵件地址已通過驗證
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU Wien在 forsyte.tuwien.ac.at 的電子郵件地址已通過驗證
- Jade AlglaveARM and University College London在 ucl.ac.uk 的電子郵件地址已通過驗證
- Andreas HolzerUniversity of Toronto在 cs.toronto.edu 的電子郵件地址已通過驗證
- Stefan KugeleTechnische Hochschule Ingolstadt在 thi.de 的電子郵件地址已通過驗證
- Serdar TasiranS3, Amazon Web Services在 acm.org 的電子郵件地址已通過驗證
- Byron CookProfessor of Computer Science, UCL, Amazon在 cs.ucl.ac.uk 的電子郵件地址已通過驗證
- Luc MarangetInria在 inria.fr 的電子郵件地址已通過驗證
- Andreas BauerUniversität Augsburg在 uni-a.de 的電子郵件地址已通過驗證
- Dirk BeyerProfessor of Computer Science, LMU Munich, Germany在 lmu.de 的電子郵件地址已通過驗證
- Alastair DonaldsonImperial College London在 imperial.ac.uk 的電子郵件地址已通過驗證
- Zhonglei WangComputer Science, Karlsruhe Institute of Technology在 kit.edu 的電子郵件地址已通過驗證
- Tom MelhamProfessor of Computer Science, University of Oxford在 cs.ox.ac.uk 的電子郵件地址已通過驗證
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of Sussex在 diffblue.com 的電子郵件地址已通過驗證
- Thomas WahlNortheastern University, Boston, USA在 northeastern.edu 的電子郵件地址已通過驗證
- Matthias DanglLudwig-Maximilians-Universität München在 sosy.ifi.lmu.de 的電子郵件地址已通過驗證
- Thomas LembergerLMU Munich在 lmu.de 的電子郵件地址已通過驗證
- Felipe R. MonteiroAmazon在 amazon.com 的電子郵件地址已通過驗證
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWS在 amazon.com 的電子郵件地址已通過驗證