Heike Wehrheim. Preserving Properties Under Change. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures. Volume 3188 of Lecture Notes in Computer Science, pages 330-343, Springer, 2003. [doi]
@inproceedings{Wehrheim03,
title = {Preserving Properties Under Change},
author = {Heike Wehrheim},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3188&spage=330},
researchr = {https://researchr.org/publication/Wehrheim03},
cites = {0},
citedby = {0},
pages = {330-343},
booktitle = {Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures},
editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever},
volume = {3188},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-22942-6},
}