Statistics
Publications
3
Citations
434
H-Index
3
Active since
2002
Affiliations
David Burke is an author at Oregon Health & Science University specializing in system software, computer engineering, and formal verification.
Publications per year
2002–2020
3
3
1–3 of 3