Dyfyniad APA

Perry, D. L. (2005). Applied formal verification. New York: McGraw-Hill.

Dyfyniad Arddull Chicago

Perry, Douglas L. Applied Formal Verification. New York: McGraw-Hill, 2005.

Dyfyniad MLA

Perry, Douglas L. Applied Formal Verification. New York: McGraw-Hill, 2005.

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