Integration of Formal Methods with System Design. - Eleanor M. Mayger; Michael P. Fourman (VLSI, 1991)

The need for a core method DIALOG - Linking formal proof to the design environment. - Eleanor M. Mayger; M. D. Francis; R. L. Harris; Gerry Musgrave; Michael P. Fourman (Microprocessing and Microprogramming, 1991)