Concepedia

Author

Jeremy Gibbons

University of Oxford

Also Known As

Crole, Roy, Jeremy Gibbons

14

Publications

133

Citations

4

H-Index

5

Concepts

All Affiliations

University of Oxford
JG

About

Jeremy Gibbons is an author at University of Oxford specializing in formal methods, formal verification, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

31

2

Computer Science

1

1

31

3

Automated Reasoning

1

1

31

4

Formal Methods

1

1

31

5

Formal Verification

1

1

31

Jeremy Gibbons

×

1

Publications

31

Citations

1

H-Index

YearCitations

Page 1