Concepedia

Author

Betsey S. Dreher

Also Known As

B Dreher, Betsey S Dreher, Betsey S. Dreher

3

Publications

65

Citations

2

H-Index

6

Concepts

All Affiliations

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