Perry, D. L. (2005). Applied formal verification. New York: McGraw-Hill.
Chicago Style citaatPerry, Douglas L. Applied Formal Verification. New York: McGraw-Hill, 2005.
MLA citatiePerry, Douglas L. Applied Formal Verification. New York: McGraw-Hill, 2005.
Let op: Deze citaties zijn niet altijd 100% accuraat.