Concepedia

Author

Betsey S. Dreher

The University of Western Australia

Also Known As

B Dreher, Betsey S Dreher, Betsey S. Dreher

3

Publications

65

Citations

2

H-Index

6

Concepts

All Affiliations

The University of Western Australia
BS

About

Betsey S. Dreher is an author at The University of Western Australia specializing in formal methods, computer science, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

61

2

Computer Science

1

1

61

3

Formal Methods

1

1

61

4

Formal Verification

1

1

61

5

Hardware Security

1

1

61

Betsey S. Dreher

×

1

Publications

61

Citations

1

H-Index

YearCitations

Page 1