Perry, D. L. (2005). Applied formal verification. New York: McGraw-Hill.
शिकागो स्टाइल उद्धरणPerry, Douglas L. Applied Formal Verification. New York: McGraw-Hill, 2005.
एमएलए उद्धरणPerry, Douglas L. Applied Formal Verification. New York: McGraw-Hill, 2005.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.