1
Publications
57
Citations
1
H-Index
2010
Active since
M. Herrmannnsdoerfer is an author specializing in program analysis, formal methods, and software maintenance.
Top concepts
StatisticsEngineeringData ScienceData ModelingFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware AnalysisAutomated Reasoning
Publications per year
2010–2010
1
1