建立我自己的個人學術檔案
公開取用
查看全部4 篇文章
0 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- John RegehrProfessor, School of Computing, University of Utah在 cs.utah.edu 的電子郵件地址已通過驗證
- Juneyoung(June) LeeAutomated Reasoning Group, AWS在 amazon.com 的電子郵件地址已通過驗證
- Chung-Kil HurSeoul National University在 sf.snu.ac.kr 的電子郵件地址已通過驗證
- Nuno P. LopesINESC-ID, Instituto Superior Técnico, Universidade de Lisboa在 tecnico.ulisboa.pt 的電子郵件地址已通過驗證
- Todd MytkowiczMicrosoft Research在 microsoft.com 的電子郵件地址已通過驗證
- Jacob NelsonMicrosoft Research在 microsoft.com 的電子郵件地址已通過驗證
- Zixian CaiAustralian National University在 anu.edu.au 的電子郵件地址已通過驗證
- Madanlal MusuvathiMicrosoft Research在 microsoft.com 的電子郵件地址已通過驗證
- Jubi TanejaMicrosoft Research在 cs.utah.edu 的電子郵件地址已通過驗證
- John CriswellUniversity of Rochester在 cs.rochester.edu 的電子郵件地址已通過驗證