Software Theory Change for Resilient Near-Complete Specifications.

Giuseppe Primiero, Franco Raimondi

Browse the full ANT paper archive.