내 프로필 만들기
공개 액세스
모두 보기자료 3개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Cédric FournetMicrosoft Researchmicrosoft.com의 이메일 확인됨
- Karthikeyan BhargavanINRIAinria.fr의 이메일 확인됨
- Antoine Delignat-LavaudMicrosoft Researchmicrosoft.com의 이메일 확인됨
- Nikhil SwamyMicrosoft Researchmicrosoft.com의 이메일 확인됨
- Georges GonthierPrincipal Researcher, Microsoft Researchmicrosoft.com의 이메일 확인됨
- Santiago Zanella-BéguelinMicrosoft Researchmicrosoft.com의 이메일 확인됨
- Aseem RastogiResearcher, Microsoft Researchmicrosoft.com의 이메일 확인됨
- Stephen ChongHarvard Universityseas.harvard.edu의 이메일 확인됨
- Owen ArdenAssistant Professor of Computer Science UCSCsoe.ucsc.edu의 이메일 확인됨