M. J. C. Gordon

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

Introduction to HOL: A Theorem Proving Environment for Higher Order Logic

M. J. C. Gordon and others (1993) · Cambridge University Press

Programming Language Theory and its Implementation

M. J. C. Gordon (1988) · Prentice-Hall

Why Higher-order Logic is a Good Formalism for Specifying and Verifying Hardware

M. J. C. Gordon (1986) · Formal Aspects of VLSI Design · North-Holland

Formal hardware verification methodology and its application to a network interface chip

J. M. J. Herbert and others (1986) · Institution of Engineering and Technology (IET)

How to specify and verify hardware using higher order logic

M. J. C. Gordon (1984)

Multilevel verification using higher order logic

M. J. C. Gordon (1984)

A model of register transfer systems with applications to microcode and VLSI correctness

M. J. C. Gordon (1982) · University of Edinburgh, Department of Computer Science

Representing a logic in the LCF metalanguage

M. J. C. Gordon (1982) · Tools and Notions for Program Construction · Cambridge University Press