A Notion of Equivalence for Refactorings with Abstract Execution

von Abusdal, Ole Jørgen
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 2: Software engineering (2022)