1
Publications
27
Citations
1
H-Index
2002
Active since
D. N. Hoover is an author specializing in formal methods, automated reasoning, and formal specification.
Top concepts
ManagementData MiningEngineeringData ScienceVerificationData ModelingFormal MethodsComputer ScienceData IntegrationProgram Analysis
Publications per year
2002–2002
1
1
Tablewise, a decision table tool
D. N. Hoover, Zewei Chen · 2002 · 27 citations
Engineering, Ada Code, Verification +26
Rows per page
1–1 of 1