Mijn eigen profiel maken
Openbare toegang
Alles bekijken1 artikel
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Ying ShengPhD student of Stanford UniversityGeverifieerd e-mailadres voor stanford.edu
- Clark BarrettStanford UniversityGeverifieerd e-mailadres voor cs.stanford.edu
- Andres ErbsenMIT CSAILGeverifieerd e-mailadres voor mit.edu
- Jason GrossGraduate, Massachusetts Institute of TechnologyGeverifieerd e-mailadres voor mit.edu
- Adam ChlipalaMIT CSAILGeverifieerd e-mailadres voor csail.mit.edu
- Lianmin ZhengUC BerkeleyGeverifieerd e-mailadres voor berkeley.edu
- Christopher HahnX, the moonshot factory (Google X)Geverifieerd e-mailadres voor google.com
- Oded PadonVMware ResearchGeverifieerd e-mailadres voor vmware.com