Concepedia

Author

Kevin Backhouse

University of Oxford

Also Known As

Backhouse, Kevin, Backhouse, Kevin Stuart, Kevin Backhouse

9

Publications

237

Citations

5

H-Index

6

Concepts

All Affiliations

University of Oxford
KB

About

Kevin Backhouse is an author at University of Oxford specializing in automated reasoning, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

27

2

Computer Science

1

1

27

3

Semantics

1

1

27

4

Automated Reasoning

1

1

27

5

Formal Methods

1

1

27

Kevin Backhouse

×

3

Publications

88

Citations

3

H-Index

YearCitations

Page 1