TY  - RPRT
TI  - Theorem Proving in Intel Hardware Design
AU  - O'Leary, John
PY  - 2009
UR  - https://ntrs.nasa.gov/citations/20100024466
ID  - 20100024466
ER  -