17
Publications
753
Citations
14
H-Index
1978
Active since
Affiliations
Mike Gordon is an author at University of Cambridge specializing in engineering, formal methods, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProgram AnalysisComputer EngineeringComputer ArchitectureCompilersSemantics
Publications per year
1978–2021
17
17
A Metalanguage for interactive proof in LCF
Mike Gordon, R. Milner, L. Morris et al. · 1978 · 127 citations · Full text
HOL A machine oriented formulation of higher order logic
Mike Gordon · 2021 · 124 citations · Full text
Effect of Binocular Variations of Snellen's Visual Acuity on Titmus Stereoacuity
Paul B. Donzis, J. A. Rappazzo, R M Burde et al. · Archives of Ophthalmology · 1983 · 101 citations
The semantic challenge of Verilog HDL
Mike Gordon · 2002 · 98 citations
Hardware Modeling, Engineering, Hardware Verification Language +21
Rows per page
1–5 of 17