Concepedia

James McKinna

JM

15

Publications

800

Citations

13

H-Index

1997

Active since

Affiliations

University of Edinburgh(Current)

Radboud University Nijmegen

University of St Andrews

University of Strathclyde

Durham University

James McKinna is an author at University of Edinburgh specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProgram AnalysisProgramming LanguagesSoftware AnalysisLanguageCompilers

Publications per year

1997–2023

15

Publications

15

Rows per page

1–5 of 15