Contract-Based Verification for Aspect-Oriented Refactoring.

Naoyasu Ubayashi, Jinji Piao, Suguru Shinotsuka, Tetsuo Tamai

Browse the full ICST paper archive.