George Milne. (1994). Formal specification and verification of digital sytems. McGraw-Hill.
शिकागो स्टाइल उद्धरणGeorge Milne. Formal Specification and Verification of Digital Sytems. McGraw-Hill, 1994.
एमएलए उद्धरणGeorge Milne. Formal Specification and Verification of Digital Sytems. McGraw-Hill, 1994.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.