@InProceedings{ autexier.ea:towards-an-evolutionary-formal-software-development-using-casl:1999, author = {Serge Autexier and Dieter Hutter and Heiko Mantel and Axel Schairer}, booktitle = {Proceedings of the 14th International Workshop on Algebraic Development Techniques (WADT)}, editor = {D.~Bert and C.~Choppy and P.~Mosses}, pages = {73--88}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/1999/1999WADT-abstract.PDF}, ps = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/1999/1999WADT-abstract.PS.zip}, publisher = {Springer}, series = {LNCS}, title = {{Towards an Evolutionary Formal Software-Development Using CASL (Abstract)}}, volume = 1827, year = 1999 }