Daniel Dietsch

Registered user since Mon 25 Jun 2018

Name:Daniel Dietsch
Country:Germany
Affiliation:University of Freiburg
Research interests:formal methods, requirements engineering, static analysis, program analysis, software model checking, software engineering

Contributions

Show activities from other conferences

Using general profile