{"department":[{"_id":"77"}],"publication":"Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures","status":"public","citation":{"ieee":"H. Wehrheim, “Preserving Properties Under Change,” in <i>Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures</i>, 2003, pp. 330--343.","chicago":"Wehrheim, Heike. “Preserving Properties Under Change.” In <i>Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures</i>, edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem P. de Roever, 330--343. Lecture Notes in Computer Science, 2003. <a href=\"https://doi.org/10.1007/978-3-540-30101-1_16\">https://doi.org/10.1007/978-3-540-30101-1_16</a>.","bibtex":"@inproceedings{Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Preserving Properties Under Change}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-30101-1_16\">10.1007/978-3-540-30101-1_16</a>}, booktitle={Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures}, author={Wehrheim, Heike}, editor={S. de Boer, Frank and M. Bonsangue, Marcello and Graf, Susanne and P. de Roever, WillemEditors}, year={2003}, pages={330--343}, collection={Lecture Notes in Computer Science} }","ama":"Wehrheim H. Preserving Properties Under Change. In: S. de Boer F, M. Bonsangue M, Graf S, P. de Roever W, eds. <i>Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures</i>. Lecture Notes in Computer Science. ; 2003:330--343. doi:<a href=\"https://doi.org/10.1007/978-3-540-30101-1_16\">10.1007/978-3-540-30101-1_16</a>","mla":"Wehrheim, Heike. “Preserving Properties Under Change.” <i>Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures</i>, edited by Frank S. de Boer et al., 2003, pp. 330--343, doi:<a href=\"https://doi.org/10.1007/978-3-540-30101-1_16\">10.1007/978-3-540-30101-1_16</a>.","short":"H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf, W. P. de Roever (Eds.), Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, 2003, pp. 330--343.","apa":"Wehrheim, H. (2003). Preserving Properties Under Change. In F. S. de Boer, M. M. Bonsangue, S. Graf, &#38; W. P. de Roever (Eds.), <i>Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures</i> (pp. 330--343). <a href=\"https://doi.org/10.1007/978-3-540-30101-1_16\">https://doi.org/10.1007/978-3-540-30101-1_16</a>"},"title":"Preserving Properties Under Change","series_title":"Lecture Notes in Computer Science","author":[{"full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim","first_name":"Heike"}],"editor":[{"first_name":"Frank","full_name":"S. de Boer, Frank","last_name":"S. de Boer"},{"full_name":"M. Bonsangue, Marcello","last_name":"M. Bonsangue","first_name":"Marcello"},{"first_name":"Susanne","full_name":"Graf, Susanne","last_name":"Graf"},{"first_name":"Willem","full_name":"P. de Roever, Willem","last_name":"P. de Roever"}],"date_created":"2018-06-14T06:51:09Z","_id":"3237","user_id":"29719","doi":"10.1007/978-3-540-30101-1_16","date_updated":"2022-01-06T06:59:06Z","page":"330--343","type":"conference","year":"2003"}