TY  - RPRT
TI  - Formal Methods Specification and Verification Guidebook for Software and Computer Systems: Planning and Technology Insertion - Volume 1
PY  - 1995
UR  - https://ntrs.nasa.gov/citations/19980228002
ID  - 19980228002
ER  -