Current trends in. (1989). Current trends in hardware verification and automated theorem proving. Springer-Verlag.
Chicago Edition CitationCurrent trends in. Current Trends in Hardware Verification and Automated Theorem Proving. New York: Springer-Verlag, 1989.
MLA Edition CitationCurrent trends in. Current Trends in Hardware Verification and Automated Theorem Proving. Springer-Verlag, 1989.
Warning: These citations may not always be 100% accurate.