Proceedings-Artikel
Proof Transformations for Evolutionary Formal Software Development
Axel Schairer; Dieter Hutter
In: Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. Springer-Verlag, LNCS, 2002.