Program Transformation Using HATS 1.84 (2006)

by V L Winter, J Beranek
Venue:In Generative and Transformational Techniques in Software Engineering, International Summer School, GTTSE 2005, Revised Papers, volume 4143 of LNCS