1
Publications
11
Citations
1
H-Index
2012
Active since
Benet Zacharias is an author specializing in formal verification, software engineering, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignTest AutomationComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal Verification
Publications per year
2012–2012
1
1
Rows per page
1–1 of 1