George J. Milne

1952

• Correct Hardware Design and Verification Methods: Ifipwg10.2 Advanced Research Working Conference Charme '93, Arles, France, May 24-26, 1993
• Formal specification and verification of digital systems
• The Fusion of Hardware Design and Verification