REFINITY
A workbench for modeling and proving statement-based program transformation rules.
Dominic Steinhöfel
Postdoctoral Researcher in Computer Science
My research interests include software reengineering, safe program transformation, program verification, and symbolic execution.