Program Transformation Using HATS 1.84 (2006)

by V Winter, J Beranek
Venue:Generative and Transformational Techniques in Software Engineering (GTTSE), volume 4143 of LNCS