TY  - RPRT
TI  - Experiences and perspectives with SRI's tools for software design and validation
AU  - Goguen, J.
AU  - Levitt, K. N.
PY  - 1982
UR  - https://ntrs.nasa.gov/citations/19830024090
ID  - 19830024090
ER  -