APA Цитирование

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

Chicago-стиль цитирования

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

MLA-цитирование

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

Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.