Formalising Behaviour Preserving Program Transformations

  • Tom Mens, Serge Demeyer, Dirk Janssens
  • January 2002, Springer Science + Business Media
  • DOI: 10.1007/3-540-45832-8_22

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.1007/3-540-45832-8_22