A Notion of Equivalence for Refactorings with Abstract Execution

Published in ISoLA, 2022

Recommended citation: Ole Jørgen Abusdal, Eduard Kamburjan, Violat Ka I Pun, Volker Stolz. (2022). ISoLA.