Cita APA (7a ed.)

(1991). Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit / Jing Pan, K. Levitt, G. C. Cohen.

Cita Chicago Style (17a ed.)

Toward a Formal Verification of a Floating-point Coprocessor and Its Composition with a Central Processing Unit / Jing Pan, K. Levitt, G. C. Cohen. 1991.

Cita MLA (9a ed.)

Toward a Formal Verification of a Floating-point Coprocessor and Its Composition with a Central Processing Unit / Jing Pan, K. Levitt, G. C. Cohen. 1991.