Crea il mio profilo
Accesso pubblico
Visualizza tutto1 articolo
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Ying ShengPhD student of Stanford UniversityEmail verificata su stanford.edu
- Clark BarrettStanford UniversityEmail verificata su cs.stanford.edu
- Andres ErbsenMIT CSAILEmail verificata su mit.edu
- Jason GrossGraduate, Massachusetts Institute of TechnologyEmail verificata su mit.edu
- Adam ChlipalaMIT CSAILEmail verificata su csail.mit.edu
- Lianmin ZhengUC BerkeleyEmail verificata su berkeley.edu
- Christopher HahnX, the moonshot factory (Google X)Email verificata su google.com
- Oded PadonVMware ResearchEmail verificata su vmware.com