TY  - RPRT
TI  - An Integrated Environment for Efficient Formal Design and Verification
PY  - 1998
UR  - https://ntrs.nasa.gov/citations/19990052601
ID  - 19990052601
ER  -