Založit si vlastní profil
Veřejný přístup
Zobrazit všechny12 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Zachary TatlockUniversity of WashingtonE-mailová adresa ověřena na: cs.washington.edu
- James R. WilcoxUniversity of WashingtonE-mailová adresa ověřena na: cs.washington.edu
- Chandrakana NandiSenior Researcher, Certora Inc.E-mailová adresa ověřena na: certora.com
- Max WillseyUC BerkeleyE-mailová adresa ověřena na: eecs.berkeley.edu
- Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonE-mailová adresa ověřena na: cs.washington.edu
- Ganesh GopalakrishnanProfessor of Computer Science, University of UtahE-mailová adresa ověřena na: cs.utah.edu
- Shoaib KamilAdobeE-mailová adresa ověřena na: adobe.com
- Emina TorlakAmazon Web Services, University of WashingtonE-mailová adresa ověřena na: alum.mit.edu
- Eva DarulovaUppsala UniversityE-mailová adresa ověřena na: it.uu.se
Sledovat
Pavel Panchekha
University of Utah, Kahlert School of Computing
E-mailová adresa ověřena na: cs.utah.edu - Domovská stránka