Formal Verification of an Avionics Microprocessor, Final Report, Mandayam Srivas, K. et al, SRI International Corp., Jul. 1995.
Contributors: United States. National Aeronautics and Space Administration.
Language: eng
Notes: Shipping List #: 96-0605-M.

Shipping List Date: 09/16/96.