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.
@inproceedings{Mens01-0, title = {Transformational Software Evolution by Assertions}, author = {Tom Mens}, year = {2001}, researchr = {https://researchr.org/publication/Mens01-0}, cites = {0}, citedby = {0}, pages = {67-74}, booktitle = {Proceedings of the 2001 International Workshop on Formal Foundations of Software Evolution, FFSE@CSMR 2001, Lisbon, Portugal, March 14-16, 2001}, editor = {Tom Mens and Michel Wermelinger}, publisher = {Universidade Nova de Lisboa}, }