Concepedia

Author

C. A. R. Hoare

Queen's University Belfast

Also Known As

C. A. Hoare, C. A. R. Hoare, Cheryl Hoare

23

Publications

1.5K

Citations

6

H-Index

11

Concepts

All Affiliations

Queen's University Belfast
CA

About

C. A. R. Hoare is an author at Queen's University Belfast specializing in formal methods, engineering, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

4

4

1.1K

2

Computer Science

3

3

1K

3

Data Science

1

1

964

4

Software Analysis

1

1

18

5

Software Engineering

1

1

18

C. A. R. Hoare

×

4

Publications

1.1K

Citations

4

H-Index

YearCitations

Page 1