Concepedia

Author

Paul D. Hankin

University of Cambridge

Also Known As

P. D. Hankin, PAUL D. HANKIN, Paul D. Hankin

5

Publications

180

Citations

5

H-Index

13

Concepts

All Affiliations

University of Cambridge
PD

About

Paul D. Hankin is an author at University of Cambridge specializing in formal verification, automated reasoning, and program analysis.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

127

2

Computer Science

3

3

127

3

Compilers

2

2

30

4

Software Analysis

2

2

30

5

Software Engineering

1

1

14

Paul D. Hankin

×

3

Publications

127

Citations

3

H-Index

YearCitations

Page 1