
|
Formal specification and verification of digital systems
by
George J. Milne
McGraw-Hill, 1994
|
|
Correct Hardware Design and Verification Methods: Ifipwg10.2 Advanced Research Working Conference Charme '93, Arles, France, May 24-26, 1993
by
George J. Milne
Springer, September 1993
|
|
The Fusion of Hardware Design and Verification
by
George J. Milne
North-Holland, December 1988
|