Concepedia

Author

Benet Devereux

University of Toronto

Also Known As

B. Devereux, Benet Devereux, Devereux, Barry

19

Publications

554

Citations

10

H-Index

18

Concepts

All Affiliations

University of Toronto
BD

About

Benet Devereux is an author at University of Toronto specializing in automated reasoning, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

6

6

403

2

Computer Science

6

6

403

3

Systems Engineering

4

4

305

4

Software Analysis

3

3

266

5

Computer Engineering

1

1

17

Benet Devereux

×

6

Publications

403

Citations

6

H-Index

YearCitations

Page 1