M. P. Fourman

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Interactive synthesis in higher order logic

S. Finn and others (1991) · Proceedings of the International Workshop on the HOL Theorem Proving System and its Applications, Davis · IEEE

Integration of formal methods with system design

E. M. Mayger and others (1991) · Proceedings of VLSI 91, Edinburgh

Formal system design - interactive synthesis based on computer-assisted formal reasoning

S. Finn and others (1989) · Applied Formal Methods for Correct VLSI Design (IMEC-IFIP International Workshop) · North-Holland

Formally based system design - interactive hardware scheduling

M. P. Fourman and others (1989) · VLSI 89, Munich · North-Holland