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.

Authors

Tom Mens

This author has not been identified. It may be one of the following persons: Look up 'Tom Mens' in Google