Statistics
Publications
1
Citations
39
H-Index
1
Active since
1996
Affiliations
Hewlett-Packard (United States)(Current)
David M. Gillies is an author at Hewlett-Packard (United States) specializing in formal methods, parallel programming, and formal verification.
Publications per year
1996–1996
1
1