Mijn eigen profiel maken
Openbare toegang
Alles bekijken4 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- John RegehrProfessor, School of Computing, University of UtahGeverifieerd e-mailadres voor cs.utah.edu
- Juneyoung(June) LeeAutomated Reasoning Group, AWSGeverifieerd e-mailadres voor amazon.com
- Chung-Kil HurSeoul National UniversityGeverifieerd e-mailadres voor sf.snu.ac.kr
- Nuno P. LopesINESC-ID, Instituto Superior Técnico, Universidade de LisboaGeverifieerd e-mailadres voor tecnico.ulisboa.pt
- Todd MytkowiczMicrosoft ResearchGeverifieerd e-mailadres voor microsoft.com
- Jacob NelsonMicrosoft ResearchGeverifieerd e-mailadres voor microsoft.com
- Zixian CaiAustralian National UniversityGeverifieerd e-mailadres voor anu.edu.au
- Jubi TanejaMicrosoft ResearchGeverifieerd e-mailadres voor cs.utah.edu
- Madanlal MusuvathiMicrosoft ResearchGeverifieerd e-mailadres voor microsoft.com
- John CriswellUniversity of RochesterGeverifieerd e-mailadres voor cs.rochester.edu