Mijn eigen profiel maken
Openbare toegang
Alles bekijken9 artikelen
1 artikel
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityGeverifieerd e-mailadres voor cs.cmu.edu
- jstrother mooreComputer Science Dept, University of Texas at AustinGeverifieerd e-mailadres voor cs.utexas.edu
- Nathan WetzlerUniversity of Texas at AustinGeverifieerd e-mailadres voor cs.utexas.edu
- William D. YoungLecturer and Research Scientist, University of Texas at AustinGeverifieerd e-mailadres voor cs.utexas.edu
- Anna SlobodovaIntelGeverifieerd e-mailadres voor intel.com
- Shilpi GoelAWSGeverifieerd e-mailadres voor cs.utexas.edu
- Sandip RayProfessor, Department of Electrical and Computer Engineering, University of Florida at GainesvilleGeverifieerd e-mailadres voor ece.ufl.edu
- Sol SwordsFormal Verification, Centaur Technology, Inc.Geverifieerd e-mailadres voor centtech.com
- Jacob AbrahamProfessor, University of TexasGeverifieerd e-mailadres voor cerc.utexas.edu
Volgen
Warren A. Hunt, Jr
Professor of Computer Science, University of Texas
Geverifieerd e-mailadres voor cs.utexas.edu - Homepage