REFINITY
A workbench for modeling and proving statement-based program transformation rules.
Dominic Steinhöfel
Postdoctoral Researcher in Computer Science
I’m a PostDoc @ CISPA (Saarbrücken, Germany). My research interests center around program verification.