Ustvarite profil
Navedeno
Vse | Od leta 2019 | |
---|---|---|
Navedbe | 1355 | 1023 |
indeks h | 13 | 13 |
indeks i10 | 13 | 13 |
Javni dostop
Prikaži vse12 člankov
0 člankov
na voljo
ni na voljo
Na podlagi zahtev v povezavi s financiranjem
Soavtorji
- Zachary TatlockUniversity of WashingtonPreverjeni e-poštni naslov na cs.washington.edu
- James R. WilcoxUniversity of WashingtonPreverjeni e-poštni naslov na cs.washington.edu
- Chandrakana NandiSenior Researcher, Certora Inc.Preverjeni e-poštni naslov na certora.com
- Max WillseyUC BerkeleyPreverjeni e-poštni naslov na eecs.berkeley.edu
- Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonPreverjeni e-poštni naslov na cs.washington.edu
- Ganesh GopalakrishnanProfessor of Computer Science, University of UtahPreverjeni e-poštni naslov na cs.utah.edu
- Shoaib KamilAdobePreverjeni e-poštni naslov na adobe.com
- Emina TorlakAmazon Web Services, University of WashingtonPreverjeni e-poštni naslov na alum.mit.edu
- Eva DarulovaUppsala UniversityPreverjeni e-poštni naslov na it.uu.se
Spremljaj
Pavel Panchekha
University of Utah, Kahlert School of Computing
Preverjeni e-poštni naslov na cs.utah.edu - Domača stran