Formalising Behaviour Preserving Program Transformations (2002)

by Tom Mens, Serge Demeyer, Dirk Janssens
Venue:In ICGT