Return to Article Details
An Approach to Invariant-based Program Refactoring
Download
Download PDF