Applied formal verification.

MLA

Perry, Douglas L., and Harry D Foster. Applied Formal Verification. New York: McGraw-Hill, 2005.

APA

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

Chicago

Perry, Douglas L., and Harry D. Foster. Applied Formal Verification. New York: McGraw-Hill, 2005.