Towards the formal verification of the requirements and design of a processor interface unit [microform] : HOL listings / David A. Fura, Philip J. Windley, Gerald C. Cohen
原資料の出版事項: Hampton, Va. ; [Springfield, Va. : National Aeronautics and Space Administration, Langley Research Center : National Technical Information Service, distributor, 1993]