Proof Transformations for Evolutionary Formal Software Development

@inproceedings{pub1626,
    author = {

Schairer, Axel
 and 

Hutter, Dieter
},
    title = {Proof Transformations for Evolutionary Formal Software Development},
    booktitle = {Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. International Conference on Algebraic Methodology and Software Technology (AMAST-2002)},
    year = {2002},
    publisher = {Springer-Verlag, LNCS}
}