Maintaining Formal Developments

@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}
}