TY  - RPRT
TI  - Formal Functional Test Designs with a Test Representation Language
AU  - Hops, Jonathan M.
PY  - 1993
UR  - https://ntrs.nasa.gov/citations/20210004466
ID  - 20210004466
ER  -