TY  - RPRT
TI  - An elementary tutorial on formal specification and verification using PVS
AU  - Butler, Ricky W.
PY  - 1993
UR  - https://ntrs.nasa.gov/citations/19940011063
ID  - 19940011063
ER  -