Skip to content

Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules.

Dominic Steinhfel

VenueA*SP
Year2020
ProceedingsDenert Award

Browse the full SP paper archive.