Dyfyniad APA

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

Dyfyniad Arddull Chicago

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

Dyfyniad MLA

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

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.