Harald Zankl’s research is concerned with the automated analysis of programs.
His thesis ``Challenges in Automation of Rewriting’‘ explains how several properties of rewrite systems can be investigated automatically.
Harald Zankl’s research is concerned with the automated analysis of programs.
His thesis ``Challenges in Automation of Rewriting’‘ explains how several properties of rewrite systems can be investigated automatically.