1
Publications
58
Citations
1
H-Index
2004
Active since
Jürgen Zimmer is an author specializing in computer science, automated reasoning, and software design.
Top concepts
EngineeringSemantic WebVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceData IntegrationProgram AnalysisSoftware Analysis
Publications per year
2004–2004
1
1
Rows per page
1–1 of 1