APA Цитирование

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

Chicago-стиль цитирования

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

MLA-цитирование

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

Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.