George J. Milne
3 published titles
Formal aspects of VLSI design : proceedigs of the 1985 Edinburgh Workshop on VLSI Edinburgh, Scotland, U.K.
(Contributor)
1 edition
- ISBN: 0444700269
- North-Holland
- 1986
- Details
The fusion of hardware design and verification
(Contributor)
1 edition
- ISBN: 0444705325
- North-Holland
- 1988
- Details
Formal specification and verification of digital systems
1 edition
- ISBN: 007707811X
- McGraw-Hill
- 1994
- Details
