Statistics
Publications
10
Citations
503
H-Index
10
Active since
1976
Affiliations
S. Gerhart is an author at University of Houston - Clear Lake specializing in formal methods, computer science, and computing.
Publications per year
1976–2003
10
10
Experience with formal methods in critical systems
S. Gerhart, Dan Craigen, Ted Ralston · IEEE Software · 1994 · 125 citations
1–5 of 10