Simon Thompson. Building trustworthy refactoring tools. In Alexei Lisitsa, Andrei P. Nemytykh, editors, First International Workshop on Verification and Program Transformation, VPT 2013, Saint Petersburg, Russia, July 12-13, 2013. Volume 16 of EPiC Series, pages 15, EasyChair, 2013. [doi]
Abstract is missing.