Concepedia

Graham Hutton

GH

29

Publications

1.4K

Citations

18

H-Index

1939

Active since

Affiliations

University of Nottingham(Current)

University of Oxford

Utrecht University

University of Kansas

National University of Rosario

Graham Hutton is an author at University of Nottingham specializing in computer science, engineering, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningProgram AnalysisFormal VerificationSoftware AnalysisBusinessSoftware EngineeringCompilers

Publications per year

1939–2019

29

Publications

29

Rows per page

1–5 of 29