Küster, MartinKrogmann, Klaus2023-03-162023-03-162014https://dl.gi.de/handle/20.500.12116/40869enCheckable Code Decisions to Support Software EvolutionText/Journal Article0720-8928