自分のプロフィールを作成
オープン アクセス
すべて表示3 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Jade AlglaveARM and University College London確認したメール アドレス: ucl.ac.uk
- Peter SewellComputer Laboratory, University of Cambridge確認したメール アドレス: cl.cam.ac.uk
- Susmit SarkarProfessor of Computer Science, University of St Andrews確認したメール アドレス: st-andrews.ac.uk
- Cédric FournetMicrosoft Research確認したメール アドレス: microsoft.com
- Didier RémyINRIA確認したメール アドレス: inria.fr
- Georges GonthierPrincipal Researcher, Microsoft Research確認したメール アドレス: microsoft.com
- Shaked FlurCambridge University確認したメール アドレス: cl.cam.ac.uk
- Christopher PulteUniversity of Cambridge確認したメール アドレス: cam.ac.uk
- Scott OwensUniversity of Kent確認したメール アドレス: kent.ac.uk
- Cosimo LaneveProfessor of Computer Science, University of Bologna確認したメール アドレス: unibo.it
- Michael TautschnigQueen Mary University of London確認したメール アドレス: qmul.ac.uk
- ali sezginUniversity of Cambridge確認したメール アドレス: cam.ac.uk
- Kathryn E. GrayUniversity of Cambridge確認したメール アドレス: cl.cam.ac.uk
- Qin MaUniversity of Luxembourg確認したメール アドレス: uni.lu
- Paul McKenneySoftware Engineer, Facebook確認したメール アドレス: meta.com
- Alan SchmittInria, IRISA確認したメール アドレス: inria.fr
- Louis MandelIBM Research確認したメール アドレス: us.ibm.com
- Sela Mador-HaimComputer Information Science, University of Pennsylvania確認したメール アドレス: xcitedb.com
- Michael BattyBartlett Professor, Chair CASA, University College London確認したメール アドレス: ucl.ac.uk