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