TY  - RPRT
TI  - Experimental verification of proof-test logic
AU  - Collipriest, J. E., Jr.
AU  - Kizer, D. E.
PY  - 1969
UR  - https://ntrs.nasa.gov/citations/19700042881
ID  - 19700042881
ER  -