Tom Mens, Michel Wermelinger. Formal foundations of software evolution: workshop report. ACM SIGSOFT Software Engineering Notes, 26(4):27-29, 2001. [doi]
@article{MensW01, title = {Formal foundations of software evolution: workshop report}, author = {Tom Mens and Michel Wermelinger}, year = {2001}, doi = {10.1145/505482.505488}, url = {http://doi.acm.org/10.1145/505482.505488}, researchr = {https://researchr.org/publication/MensW01}, cites = {0}, citedby = {0}, journal = {ACM SIGSOFT Software Engineering Notes}, volume = {26}, number = {4}, pages = {27-29}, }