Založit si vlastní profil
Veřejný přístup
Zobrazit všechny4 články
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- John RegehrProfessor, School of Computing, University of UtahE-mailová adresa ověřena na: cs.utah.edu
- Juneyoung(June) LeeAutomated Reasoning Group, AWSE-mailová adresa ověřena na: amazon.com
- Chung-Kil HurSeoul National UniversityE-mailová adresa ověřena na: sf.snu.ac.kr
- Nuno P. LopesINESC-ID, Instituto Superior Técnico, Universidade de LisboaE-mailová adresa ověřena na: tecnico.ulisboa.pt
- Todd MytkowiczMicrosoft ResearchE-mailová adresa ověřena na: microsoft.com
- Jacob NelsonMicrosoft ResearchE-mailová adresa ověřena na: microsoft.com
- Zixian CaiAustralian National UniversityE-mailová adresa ověřena na: anu.edu.au
- Madanlal MusuvathiMicrosoft ResearchE-mailová adresa ověřena na: microsoft.com
- Jubi TanejaMicrosoft ResearchE-mailová adresa ověřena na: cs.utah.edu
- John CriswellUniversity of RochesterE-mailová adresa ověřena na: cs.rochester.edu