Citação norma APA

G. Birtwistle, P. A. S. (1989). Current Trends In Hardware Verification And Automated Theorem Proving. Springer-Verlag.

Citação norma Chicago

G. Birtwistle, P A Subrahmanian. Current Trends In Hardware Verification And Automated Theorem Proving. Springer-Verlag, 1989.

Citação norma MLA

G. Birtwistle, P A Subrahmanian. Current Trends In Hardware Verification And Automated Theorem Proving. Springer-Verlag, 1989.

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