TY  - RPRT
TI  - A comparison of single-cycle versus multi-cycle proof testing strategies
AU  - Hudak, Stephen J., Jr.
AU  - Russell, Dale A.
PY  - 1988
UR  - https://ntrs.nasa.gov/citations/19900019330
ID  - 19900019330
ER  -