Citação norma APA

Perry, D. L. (2005). Applied formal verification. New York: McGraw-Hill.

Citação norma Chicago

Perry, Douglas L. Applied Formal Verification. New York: McGraw-Hill, 2005.

Citação norma MLA

Perry, Douglas L. Applied Formal Verification. New York: McGraw-Hill, 2005.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.