Betsey S. Dreher

BS

Statistics

Publications

1

Citations

61

H-Index

1

Active since

2005

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

Publications per year

2005–2005

1

Publications

1