3
Publications
215
Citations
3
H-Index
1975
Active since
Affiliations
University of California, Berkeley(Current)
S. F. Ho is an author at University of California, Berkeley specializing in system software, formal verification, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareTest AutomationComputer ScienceProgram AnalysisSoftware TestingSoftware Analysis
Publications per year
1975–1975
3
3
Rows per page
1–3 of 3