Author:Simon Thompson

Publications
Extended Abstract: Getting Engaged Simon Thompson In:HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday
Building trustworthy refactoring tools Simon Thompson In:VPT 2013. First International Workshop on Verification and Program Transformation