G. Musgrave

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.

Review of verification techniques

G. Musgrave and others (1997)

Formal Tools for Tri-State Design in Busses

R.B. Hughes and others (1993) · Higher Order Logic Theorem Proving and its Applications · Elsevier

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

An Algebra for Logic Strength Simulation

Peter L. Flake and others (1983) · Proceedings - ACM IEEE Design Automation Conference · Association for Computing Machinery