Joerg Hoffmann is an author at Saarland University specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsAutomated ReasoningSystems EngineeringProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationOperations Research
Publications per year
2007–2021
7
7
Benedikt Ifland, Joerg Hoffmann, Birte Kressdorf et al. · New Journal of Physics · 2017 · 16 citations · Full text
Engineering, Inorganic Photochemistry, Photovoltaic Effect +17
Rows per page
1–5 of 7