Stephen Fridella is an author at The Ohio State University specializing in computer science, software analysis, and systems engineering.
Top concepts
DesignReasoningEngineeringVerificationFormal MethodsSocial SciencesSoftware DesignSystem SoftwareComputer ScienceProgram Analysis
Publications per year
2002–2002
1
1
Inheritance: from code reuse to reasoning reuse
Neelam Soundarajan, Stephen Fridella · 2002 · 32 citations
Rows per page
1–1 of 1