Perry, D. L. (2005). Applied formal verification. New York: McGraw-Hill.
Stile di citazione ChicagoPerry, Douglas L. Applied Formal Verification. New York: McGraw-Hill, 2005.
Citazione MLAPerry, Douglas L. Applied Formal Verification. New York: McGraw-Hill, 2005.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.