Perry, D. L. (2005). Applied formal verification. New York: McGraw-Hill.
Trích dẫn kiểu ChicagoPerry, Douglas L. Applied Formal Verification. New York: McGraw-Hill, 2005.
MLA CitationPerry, Douglas L. Applied Formal Verification. New York: McGraw-Hill, 2005.
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.