TY  - RPRT
TI  - Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems: A Practitioner's Companion - Volume 2
PY  - 1995
UR  - https://ntrs.nasa.gov/citations/19980227975
ID  - 19980227975
ER  -