G. Birtwistle, P. A. S. (1989). Current Trends In Hardware Verification And Automated Theorem Proving. Springer-Verlag.
シカゴスタイル引用形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.
警告: この引用は必ずしも正確ではありません.