A deductive infrastructure for exploratory software evolution.

Pearl Brereton, Paul Singleton

Browse the full SEKE paper archive.