Crea el meu perfil
Accés públic
Mostra-ho tot4 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- John RegehrProfessor, School of Computing, University of UtahCorreu electrònic verificat a cs.utah.edu
- Juneyoung(June) LeeAutomated Reasoning Group, AWSCorreu electrònic verificat a amazon.com
- Chung-Kil HurSeoul National UniversityCorreu electrònic verificat a sf.snu.ac.kr
- Nuno P. LopesINESC-ID, Instituto Superior Técnico, Universidade de LisboaCorreu electrònic verificat a tecnico.ulisboa.pt
- Todd MytkowiczMicrosoft ResearchCorreu electrònic verificat a microsoft.com
- Jacob NelsonMicrosoft ResearchCorreu electrònic verificat a microsoft.com
- Zixian CaiAustralian National UniversityCorreu electrònic verificat a anu.edu.au
- Jubi TanejaMicrosoft ResearchCorreu electrònic verificat a cs.utah.edu
- Madanlal MusuvathiMicrosoft ResearchCorreu electrònic verificat a microsoft.com
- John CriswellUniversity of RochesterCorreu electrònic verificat a cs.rochester.edu