Založit si vlastní profil
Veřejný přístup
Zobrazit všechny9 č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
- Max WillseyUC BerkeleyE-mailová adresa ověřena na: eecs.berkeley.edu
- Dan GrossmanComputer Science, University of WashingtonE-mailová adresa ověřena na: cs.washington.edu
- Pavel PanchekhaUniversity of Utah, Kahlert School of ComputingE-mailová adresa ověřena na: cs.utah.edu
- Adriana SchulzUniversity of WashingtonE-mailová adresa ověřena na: cs.washington.edu
- James R. WilcoxUniversity of WashingtonE-mailová adresa ověřena na: cs.washington.edu
- Eva DarulovaUppsala UniversityE-mailová adresa ověřena na: it.uu.se
- Haisen ZhaoProfessor of Shandong UniversityE-mailová adresa ověřena na: sdu.edu.cn
- Jeffrey LiptonProfessor, University of WashingtonE-mailová adresa ověřena na: uw.edu
- Chenming WuBaiduE-mailová adresa ověřena na: mails.tsinghua.edu.cn
- Kathryn S McKinleyGoogleE-mailová adresa ověřena na: cs.utexas.edu
- Adrian SampsonComputer Science, Cornell UniversityE-mailová adresa ověřena na: cornell.edu
- Todd MytkowiczMicrosoft ResearchE-mailová adresa ověřena na: microsoft.com
- Manuel OriolConstructor Institute SchaffhausenE-mailová adresa ověřena na: constructor.org
- Aurelien MonotABB Corporate ResearchE-mailová adresa ověřena na: ch.abb.com
Sledovat
Chandrakana Nandi
Senior Researcher, Certora Inc.
E-mailová adresa ověřena na: certora.com - Domovská stránka