You are here: Home Team Daniel Dietsch

Daniel Dietsch

 

Research Interests

Static Analysis, Software Model Checking, Formal Methods in Practice, Requirements, Modeling, Processes

Publications

Please visit my Google Scholar profile or DBLP.

Tools