REFINITY

A workbench for modeling and proving statement-based program transformation rules.

Dominic Steinhöfel
Dominic Steinhöfel
Postdoctoral Researcher in Computer Science

My research interests include software reengineering, safe program transformation, program verification, and symbolic execution.

Related