Založit si vlastní profil
Veřejný přístup
Zobrazit všechny9 článků
1 článek
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityE-mailová adresa ověřena na: cs.cmu.edu
- jstrother mooreComputer Science Dept, University of Texas at AustinE-mailová adresa ověřena na: cs.utexas.edu
- Nathan WetzlerUniversity of Texas at AustinE-mailová adresa ověřena na: cs.utexas.edu
- William D. YoungLecturer and Research Scientist, University of Texas at AustinE-mailová adresa ověřena na: cs.utexas.edu
- Anna SlobodovaIntelE-mailová adresa ověřena na: intel.com
- Shilpi GoelAWSE-mailová adresa ověřena na: cs.utexas.edu
- Sandip RayProfessor, Department of Electrical and Computer Engineering, University of Florida at GainesvilleE-mailová adresa ověřena na: ece.ufl.edu
- Sol SwordsFormal Verification, Centaur Technology, Inc.E-mailová adresa ověřena na: centtech.com
- Jacob AbrahamProfessor, University of TexasE-mailová adresa ověřena na: cerc.utexas.edu
Sledovat
Warren A. Hunt, Jr
Professor of Computer Science, University of Texas
E-mailová adresa ověřena na: cs.utexas.edu - Domovská stránka