Melanie Harries is an author at University of Michigan specializing in program analysis, verification, and engineering.
Top concepts
EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
2008–2008
1
1
Efficient software model checking of soundness of type systems
Michael Roberson, Melanie Harries, Paul T. Darga et al. · 2008 · 28 citations
Rows per page
1–1 of 1