自分のプロフィールを作成
オープン アクセス
すべて表示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
- Rob 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