Invited Talk: How to Prove the Correctness of Refactoring Rules

Dominic Steinhöfel

Postdoctoral Researcher in Computer Science

I’m a PostDoc @ CISPA (Saarbrücken, Germany). My research interests center around program verification.