自分のプロフィールを作成
オープン アクセス
すべて表示25 件の論文
1 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Gerwin KleinProofcraft and UNSW確認したメール アドレス: unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South Wales確認したメール アドレス: unsw.edu.au
- June AndronickCEO and co-founcer, Proofcraft確認したメール アドレス: proofcraft.systems
- Thomas SewellSenior Research Associate, Cambridge University確認したメール アドレス: cam.ac.uk
- Daniel MatichukPhD Graduate, UNSW確認したメール アドレス: unswalumni.com
- Christine RizkallahSenior Lecturer at the University of Melbourne確認したメール アドレス: unimelb.edu.au
- Gabriele KellerUtrecht University確認したメール アドレス: uu.nl
- Liam O'ConnorThe Australian National University and The University of Edinburgh確認したメール アドレス: anu.edu.au
- Zilin ChenUNSW確認したメール アドレス: unswalumni.com
- Gidon ErnstSoftware and Computational Systems Lab, LMU Munich確認したメール アドレス: lmu.de
- Robert SisonSchool of Computer Science and Engineering, UNSW Sydney確認したメール アドレス: unsw.edu.au
- Peter GammieANU確認したメール アドレス: anu.edu.au
- Yutaka NagashimaHuawei Technologies R&D (UK)確認したメール アドレス: huawei.com
- R JefferyUNSW確認したメール アドレス: cse.unsw.edu.au
- Mark StaplesData61, CSIRO確認したメール アドレス: data61.csiro.au
- Benjamin I. P. RubinsteinProfessor, School of Computing and Information Systems, The University of Melbourne確認したメール アドレス: unimelb.edu.au
- Kevin ElphinstoneUniversity of New South Wales確認したメール アドレス: cse.unsw.edu.au
- Peter ChubbUNSW, Sydney確認したメール アドレス: unsw.edu.au
- Timothy Bourke確認したメール アドレス: tbrk.org
- Sean SeefriedResearch Engineer, NICTA確認したメール アドレス: nicta.com.au
フォロー
Toby Murray
School of Computing and Information Systems, University of Melbourne
確認したメール アドレス: unimelb.edu.au - ホームページ