2
Publications
166
Citations
2
H-Index
2000
Active since
Affiliations
Case Western Reserve University(Current)
Bob Fleck is an author at Case Western Reserve University specializing in formal verification, software engineering, and computer engineering.
Top concepts
EngineeringSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer EngineeringSoftware Engineering
Publications per year
2000–2000
2
2
John Steven, Pravir Chandra, Bob Fleck et al. · 2000 · 139 citations · Full text
Software Maintenance, Engineering, Computer Architecture +17
John Steven, Pravir Chandra, Bob Fleck et al. · ACM SIGSOFT Software Engineering Notes · 2000 · 27 citations · Full text
Software Maintenance, Engineering, Computer Architecture +17
Rows per page
1–2 of 2