Perry, D. L. (2005). Applied formal verification. New York: McGraw-Hill.
Style de citation ChicagoPerry, Douglas L. Applied Formal Verification. New York: McGraw-Hill, 2005.
Style de citation MLAPerry, Douglas L. Applied Formal Verification. New York: McGraw-Hill, 2005.
Attention : ces citations peuvent ne pas être correctes à 100%.