Peter Harry Eidorff is an author at University of Copenhagen specializing in automated reasoning, formal verification, and system software.
Top concepts
EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
1999–1999
1
1
Peter Harry Eidorff, Fritz Henglein, Christian Mossin et al. · 1999 · 50 citations · Full text
Rows per page
1–1 of 1