Name:Daniel Dietsch

Country:Germany

Affiliation:University of Freiburg

Research interests:formal methods, requirements engineering, static analysis, program analysis, software model checking, software engineering