Proof repositories for compositional verification of evolving software systems managing change when proving software correct
['Richard Bubel', 'Ferruccio Damiani', 'Reiner Hähnle', 'Einar Broch Johnsen', 'Olaf Owe', 'Ina Schaefer', 'Ingrid Chieh Yu']
Proof repositories for compositional verification of evolving software systems managing change when proving software correct