Perry, D. L. (2005). Applied formal verification. New York: McGraw-Hill.
Styl ChicagoPerry, Douglas L. Applied Formal Verification. New York: McGraw-Hill, 2005.
Citace podle MLAPerry, Douglas L. Applied Formal Verification. New York: McGraw-Hill, 2005.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..