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.
ציטוט MLAPerry, Douglas L. Applied Formal Verification. New York: McGraw-Hill, 2005.
אזהרה: ציטוטים אלה לעיתים לא מדויקים ב 100%.