APA (7th ed.) Citation

Perry, D. L., & Foster, H. D. (2005). Applied formal verification. McGraw Hill Companies.

Chicago Style (17th ed.) Citation

Perry, Douglas L., and Harry D. Foster. Applied Formal Verification. McGraw Hill Companies, 2005.

MLA (8th ed.) Citation

Perry, Douglas L., and Harry D. Foster. Applied Formal Verification. McGraw Hill Companies, 2005.

Warning: These citations may not always be 100% accurate.