Crea il mio profilo
Accesso pubblico
Visualizza tutto4 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- John RegehrProfessor, School of Computing, University of UtahEmail verificata su cs.utah.edu
- Juneyoung(June) LeeAutomated Reasoning Group, AWSEmail verificata su amazon.com
- Chung-Kil HurSeoul National UniversityEmail verificata su sf.snu.ac.kr
- Nuno P. LopesINESC-ID, Instituto Superior Técnico, Universidade de LisboaEmail verificata su tecnico.ulisboa.pt
- Todd MytkowiczMicrosoft ResearchEmail verificata su microsoft.com
- Jacob NelsonMicrosoft ResearchEmail verificata su microsoft.com
- Zixian CaiAustralian National UniversityEmail verificata su anu.edu.au
- Madanlal MusuvathiMicrosoft ResearchEmail verificata su microsoft.com
- Jubi TanejaMicrosoft ResearchEmail verificata su cs.utah.edu
- John CriswellUniversity of RochesterEmail verificata su cs.rochester.edu