내 프로필 만들기
공개 액세스
모두 보기자료 4개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- John RegehrProfessor, School of Computing, University of Utahcs.utah.edu의 이메일 확인됨
- Juneyoung(June) LeeAutomated Reasoning Group, AWSamazon.com의 이메일 확인됨
- Chung-Kil HurSeoul National Universitysf.snu.ac.kr의 이메일 확인됨
- Nuno P. LopesINESC-ID, Instituto Superior Técnico, Universidade de Lisboatecnico.ulisboa.pt의 이메일 확인됨
- Todd MytkowiczMicrosoft Researchmicrosoft.com의 이메일 확인됨
- Jacob NelsonMicrosoft Researchmicrosoft.com의 이메일 확인됨
- Zixian CaiAustralian National Universityanu.edu.au의 이메일 확인됨
- Jubi TanejaMicrosoft Researchcs.utah.edu의 이메일 확인됨
- Madanlal MusuvathiMicrosoft Researchmicrosoft.com의 이메일 확인됨
- John CriswellUniversity of Rochestercs.rochester.edu의 이메일 확인됨