TY  - RPRT
TI  - Digital Design Verification using Formal and Complexity Analysis.
AU  - Armstrong, Robert C.
AU  - Mayo, Jackson
AU  - Punnoose, Ratish J.
AU  - Ruthruff, Joseph.
PY  - 2014
UR  - https://www.osti.gov/biblio/1688650
ID  - 1688650
ER  -