Trích dẫn APA

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

Trích dẫn kiểu Chicago

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

Trích dẫn MLA

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

Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.