Skapa en profil
Offentlig åtkomst
Visa alla4 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- John RegehrProfessor, School of Computing, University of UtahVerifierad e-postadress på cs.utah.edu
- Juneyoung(June) LeeAutomated Reasoning Group, AWSVerifierad e-postadress på amazon.com
- Chung-Kil HurSeoul National UniversityVerifierad e-postadress på sf.snu.ac.kr
- Nuno P. LopesINESC-ID, Instituto Superior Técnico, Universidade de LisboaVerifierad e-postadress på tecnico.ulisboa.pt
- Todd MytkowiczMicrosoft ResearchVerifierad e-postadress på microsoft.com
- Jacob NelsonMicrosoft ResearchVerifierad e-postadress på microsoft.com
- Zixian CaiAustralian National UniversityVerifierad e-postadress på anu.edu.au
- Jubi TanejaMicrosoft ResearchVerifierad e-postadress på cs.utah.edu
- Madanlal MusuvathiMicrosoft ResearchVerifierad e-postadress på microsoft.com
- John CriswellUniversity of RochesterVerifierad e-postadress på cs.rochester.edu