@inproceedings{pub1638,
author = {
Hutter, Dieter
},
editor = {
Basin, D.
and
Ganzinger, H.
and
Harrison, J.
and
Pnueli, A.
},
title = {Maintaining Formal Developments},
booktitle = {Dagstuhl Seminar 03451, Applied Deductive Verification. Dagstuhl Seminare/Workshops},
year = {2003}
}