Concepedia

Christian Hermanns

CH

1

Publications

33

Citations

1

H-Index

2007

Active since

Affiliations

University of Münster(Current)

Christian Hermanns is an author at University of Münster specializing in program analysis, formal verification, and formal methods.

Top concepts

Publications per year

2007–2007

1

Publications

1

Algorithmic Debugging of Java Programs

Rafael Caballero, Christian Hermanns, Herbert Kuchen · Electronic Notes in Theoretical Computer Science · 2007 · 33 citations · Full text

, , +16

Rows per page

1–1 of 1