建立我自己的個人學術檔案
公開取用
查看全部1 篇文章
0 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Gerwin KleinProofcraft and UNSW在 unsw.edu.au 的電子郵件地址已通過驗證
- Gernot HeiserProfessor of Computer Science, University of New South Wales在 unsw.edu.au 的電子郵件地址已通過驗證
- Michael NorrishAustralian National University在 anu.edu.au 的電子郵件地址已通過驗證
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)在 ce.pdn.ac.lk 的電子郵件地址已通過驗證
- Kevin ElphinstoneUniversity of New South Wales在 cse.unsw.edu.au 的電子郵件地址已通過驗證
- June AndronickCEO and co-founcer, Proofcraft在 proofcraft.systems 的電子郵件地址已通過驗證
- David CockSenior Researcher, ETH Zurich在 cse.unsw.edu.au 的電子郵件地址已通過驗證
- Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South Wales在 cse.unsw.edu.au 的電子郵件地址已通過驗證
- Yoram MosesTechnion在 ee.technion.ac.il 的電子郵件地址已通過驗證
- Peter GammieANU在 anu.edu.au 的電子郵件地址已通過驗證
- Kaile SuIIIS, Griffith University在 griffith.edu.au 的電子郵件地址已通過驗證
- Toby MurraySchool of Computing and Information Systems, University of Melbourne在 unimelb.edu.au 的電子郵件地址已通過驗證
- Robert SisonSchool of Computer Science and Engineering, UNSW Sydney在 unsw.edu.au 的電子郵件地址已通過驗證
- Tony HoskingAustralian National University在 anu.edu.au 的電子郵件地址已通過驗證
- Chenyi ZhangOracle Labs Australia在 oracle.com 的電子郵件地址已通過驗證
- Ralf HuuckNICTA, UNSW在 cse.unsw.edu.au 的電子郵件地址已通過驗證