H.-M. Hoffmann is an author at IBM (United States) specializing in computational complexity, software engineering, and reliability.
Top concepts
EngineeringReliabilityVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware QualitySoftware Testing
Publications per year
1979–2012
2
2
Rows per page
1–2 of 2