George Milne. (1994). Formal specification and verification of digital sytems. McGraw-Hill.
استشهاد بنمط شيكاغوGeorge Milne. Formal Specification and Verification of Digital Sytems. McGraw-Hill, 1994.
MLA استشهادGeorge Milne. Formal Specification and Verification of Digital Sytems. McGraw-Hill, 1994.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.