내 프로필 만들기
공개 액세스
모두 보기자료 1개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Gerwin KleinProofcraft and UNSWunsw.edu.au의 이메일 확인됨
- Gernot HeiserProfessor of Computer Science, University of New South Walesunsw.edu.au의 이메일 확인됨
- Michael NorrishAustralian National Universityanu.edu.au의 이메일 확인됨
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)ce.pdn.ac.lk의 이메일 확인됨
- Kevin ElphinstoneUniversity of New South Walescse.unsw.edu.au의 이메일 확인됨
- June AndronickCEO and co-founcer, Proofcraftproofcraft.systems의 이메일 확인됨
- David CockSenior Researcher, ETH Zurichcse.unsw.edu.au의 이메일 확인됨
- Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South Walescse.unsw.edu.au의 이메일 확인됨
- Yoram MosesTechnionee.technion.ac.il의 이메일 확인됨
- Peter GammieANUanu.edu.au의 이메일 확인됨
- Kaile SuIIIS, Griffith Universitygriffith.edu.au의 이메일 확인됨
- Toby MurraySchool of Computing and Information Systems, University of Melbourneunimelb.edu.au의 이메일 확인됨
- Robert SisonSchool of Computer Science and Engineering, UNSW Sydneyunsw.edu.au의 이메일 확인됨
- Tony HoskingAustralian National Universityanu.edu.au의 이메일 확인됨
- Chenyi ZhangOracle Labs Australiaoracle.com의 이메일 확인됨
- Ralf HuuckNICTA, UNSWcse.unsw.edu.au의 이메일 확인됨