APA Alıntı

Current trends in. (1989). Current trends in hardware verification and automated theorem proving. Springer-Verlag.

Chicago Stili Alıntı

Current trends in. Current Trends in Hardware Verification and Automated Theorem Proving. New York: Springer-Verlag, 1989.

MLA Alıntı

Current trends in. Current Trends in Hardware Verification and Automated Theorem Proving. Springer-Verlag, 1989.