APA citiranje

(1993). Towards the formal verification of the requirements and design of a processor interface unit: HOL listings / David A. Fura, Philip J. Windley, Gerald C. Cohen.

Chicago Style (17th ed.) Citation

Towards the Formal Verification of the Requirements and Design of a Processor Interface Unit: HOL Listings / David A. Fura, Philip J. Windley, Gerald C. Cohen. 1993.

MLA citiranje

Towards the Formal Verification of the Requirements and Design of a Processor Interface Unit: HOL Listings / David A. Fura, Philip J. Windley, Gerald C. Cohen. 1993.