(1994). Formal specification and verification of digital systems / George Milne.
Citazione stile Chigago Style (17a edizione)Formal Specification and Verification of Digital Systems / George Milne. 1994.
Citatione MLA (9a ed.)Formal Specification and Verification of Digital Systems / George Milne. 1994.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.