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.
Deismireacht MLAPerry, Douglas L. Applied Formal Verification. New York: McGraw-Hill, 2005.
Rabhadh: D'fhéadfadh nach mbeadh na deismireachtaí seo 100% cruinn i gcónaí.