내 프로필 만들기
공개 액세스
모두 보기자료 25개
자료 1개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Gerwin KleinProofcraft and UNSWunsw.edu.au의 이메일 확인됨
- Gernot HeiserProfessor of Computer Science, University of New South Walesunsw.edu.au의 이메일 확인됨
- June AndronickCEO and co-founcer, Proofcraftproofcraft.systems의 이메일 확인됨
- Thomas SewellSenior Research Associate, Cambridge Universitycam.ac.uk의 이메일 확인됨
- Daniel MatichukPhD Graduate, UNSWunswalumni.com의 이메일 확인됨
- Christine RizkallahSenior Lecturer at the University of Melbourneunimelb.edu.au의 이메일 확인됨
- Gabriele KellerUtrecht Universityuu.nl의 이메일 확인됨
- Liam O'ConnorThe Australian National University and The University of Edinburghanu.edu.au의 이메일 확인됨
- Zilin ChenUNSWunswalumni.com의 이메일 확인됨
- Gidon ErnstSoftware and Computational Systems Lab, LMU Munichlmu.de의 이메일 확인됨
- Robert SisonSchool of Computer Science and Engineering, UNSW Sydneyunsw.edu.au의 이메일 확인됨
- Peter GammieANUanu.edu.au의 이메일 확인됨
- Yutaka NagashimaHuawei Technologies R&D (UK)huawei.com의 이메일 확인됨
- R JefferyUNSWcse.unsw.edu.au의 이메일 확인됨
- Mark StaplesData61, CSIROdata61.csiro.au의 이메일 확인됨
- Benjamin I. P. RubinsteinProfessor, School of Computing and Information Systems, The University of Melbourneunimelb.edu.au의 이메일 확인됨
- Kevin ElphinstoneUniversity of New South Walescse.unsw.edu.au의 이메일 확인됨
- Peter ChubbUNSW, Sydneyunsw.edu.au의 이메일 확인됨
- Timothy Bourketbrk.org의 이메일 확인됨
- Sean SeefriedResearch Engineer, NICTAnicta.com.au의 이메일 확인됨
팔로우
Toby Murray
School of Computing and Information Systems, University of Melbourne
unimelb.edu.au의 이메일 확인됨 - 홈페이지