Towards an Evolutionary Formal Software-Development Using CASL
@inproceedings{AHMS-00-a, author = {Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer}, editor = {C. Choppy and D. Bert}, booktitle = {Proceedings Workshop on Algebraic Development Techniques (WADT-99)}, title = {Towards an Evolutionary Formal Software-Development Using CASL}, volume = {1827}, series = {LNCS}, publisher = {Springer}, month = {april}, year = {2000}, }