Robert B. Hitchcock is an author at Endicott College specializing in engineering, formal verification, and computer engineering.
Top concepts
EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingReal-time SystemsSoftware AnalysisFormal Verification
Publications per year
1972–1982
4
4
Proceedings of the 10th Design Automation Workshop
J. Michael Galey, Herbert M. Wall, Robert B. Hitchcock et al. · 1972 · 28 citations
Rows per page
1–4 of 4