Statistics
Publications
1
Citations
36
H-Index
1
Active since
2008
Affiliations
Microsoft (United States)(Current)
Dave MacDonald is an author at Microsoft (United States) specializing in formal specification, software validation, and system software.
Publications per year
2008–2008
1
1
Model-Based Quality Assurance of Windows Protocol Documentation
Wolfgang Grieskamp, Nico Kicillof, Dave MacDonald et al. · 2008 · 36 citations
1–1 of 1