Formal specification and verification of digital systems
Milne, George
Formal specification and verification of digital systems - London McGraw-Hill 1994 - xiv,240 p.
Computer
Formal specification and verification of digital systems - London McGraw-Hill 1994 - xiv,240 p.
Computer