M. Francis

2 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.

Reference Manuel for the Lambda System 4.2 Vol I

M. Francis and others (1992) · Abstract Hardware Ltd

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