TY  - RPRT
TI  - Hardware verification at Computational Logic, Inc.
AU  - Brock, Bishop C.
AU  - Hunt, Warren A., Jr.
PY  - 1990
UR  - https://ntrs.nasa.gov/citations/19910008258
ID  - 19910008258
ER  -