Perry, D. L., & Foster, H. D. (2005). Applied formal verification. McGraw Hill Companies.
Chicago Style (17th ed.) CitationPerry, Douglas L., and Harry D. Foster. Applied Formal Verification. McGraw Hill Companies, 2005.
MLA (8th ed.) CitationPerry, Douglas L., and Harry D. Foster. Applied Formal Verification. McGraw Hill Companies, 2005.
Warning: These citations may not always be 100% accurate.