TY  - RPRT
TI  - Hardware proofs using EHDM and the RSRE verification methodology
AU  - Butler, Ricky W.
AU  - Sjogren, Jon A.
PY  - 1988
UR  - https://ntrs.nasa.gov/citations/19890004631
ID  - 19890004631
ER  -