TY  - RPRT
TI  - Formal specification and analytical verification
AU  - Powell, J.
PY  - 2001
UR  - https://ntrs.nasa.gov/citations/20060031258
ID  - 20060031258
ER  -