1
Publications
191
Citations
1
H-Index
1997
Active since
H. Zhang is an author specializing in formal methods, verification, and automated reasoning.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal Verification
Publications per year
1997–1997
1
1
An Efficient Propositional Prover
H. Zhang · Medical Entomology and Zoology · 1997 · 191 citations
Rows per page
1–1 of 1