Scholars@Duke
Search form
Search
Advanced Search
Support
Index
Subscribe to Announcements
Menu
Search
Home
People
Schools / Institutes
Research
About
Home
People
Schools / Institutes
Research
SHF:Small:Designing Architectures to be Formally Verifiable
Administered By
Electrical and Computer Engineering
Awarded By
National Science Foundation
Contributors
Sorin, Daniel J.
Principal Investigator
Start/End
August 15, 2014 - July 31, 2018