내 프로필 만들기
공개 액세스
모두 보기자료 3개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Jade AlglaveARM and University College Londonucl.ac.uk의 이메일 확인됨
- Peter SewellComputer Laboratory, University of Cambridgecl.cam.ac.uk의 이메일 확인됨
- Susmit SarkarProfessor of Computer Science, University of St Andrewsst-andrews.ac.uk의 이메일 확인됨
- Cédric FournetMicrosoft Researchmicrosoft.com의 이메일 확인됨
- Didier RémyINRIAinria.fr의 이메일 확인됨
- Georges GonthierPrincipal Researcher, Microsoft Researchmicrosoft.com의 이메일 확인됨
- Shaked FlurCambridge Universitycl.cam.ac.uk의 이메일 확인됨
- Christopher PulteUniversity of Cambridgecam.ac.uk의 이메일 확인됨
- Scott OwensUniversity of Kentkent.ac.uk의 이메일 확인됨
- Cosimo LaneveProfessor of Computer Science, University of Bolognaunibo.it의 이메일 확인됨
- Michael TautschnigQueen Mary University of Londonqmul.ac.uk의 이메일 확인됨
- ali sezginUniversity of Cambridgecam.ac.uk의 이메일 확인됨
- Kathryn E. GrayUniversity of Cambridgecl.cam.ac.uk의 이메일 확인됨
- Qin MaUniversity of Luxembourguni.lu의 이메일 확인됨
- Paul McKenneySoftware Engineer, Facebookmeta.com의 이메일 확인됨
- Alan SchmittInria, IRISAinria.fr의 이메일 확인됨
- Louis MandelIBM Researchus.ibm.com의 이메일 확인됨
- Sela Mador-HaimComputer Information Science, University of Pennsylvaniaxcitedb.com의 이메일 확인됨
- Michael BattyBartlett Professor, Chair CASA, University College Londonucl.ac.uk의 이메일 확인됨