Kerstin Buhr is an author at Daimler (Germany) specializing in software engineering, engineering, and formal verification.
Top concepts
EngineeringFormal MethodsSoftware DesignTest AutomationComputer ScienceEmbedded SystemsProgram AnalysisSoftware TestingSoftware AnalysisFormal Verification
Publications per year
2002–2002
1
1
Rows per page
1–1 of 1