TY  - RPRT
TI  - Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems Volume II: A Practitioner's Companion
AU  - Kelly, John C.
PY  - 1997
UR  - https://ntrs.nasa.gov/citations/20060035409
ID  - 20060035409
ER  -