Transformational Software Evolution by Assertions

Tom Mens. Transformational Software Evolution by Assertions. In Tom Mens, Michel Wermelinger, editors, Proceedings of the 2001 International Workshop on Formal Foundations of Software Evolution, FFSE@CSMR 2001, Lisbon, Portugal, March 14-16, 2001. pages 67-74, Universidade Nova de Lisboa, 2001.

Abstract

Abstract is missing.