TY  - RPRT
TI  - Formal verification of an avionics microprocessor
AU  - Srivas, Mandayam, K.
AU  - Miller, Steven P.
PY  - 1995
UR  - https://ntrs.nasa.gov/citations/19950026975
ID  - 19950026975
ER  -