Mechanical verification of refactorings.

Nik Sultana, Simon J. Thompson

Browse the full PEPM paper archive.