TY  - RPRT
TI  - STP: A Mechanized Logic for Specification and Verification
AU  - Shostak, R. E.
AU  - Schwartz, R.
AU  - Melliar-Smith, P. M.
PY  - 1983
UR  - https://ntrs.nasa.gov/citations/19840017240
ID  - 19840017240
ER  -