Towards an Evolutionary Formal Software Development Using Casl (2000)

by Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer
Venue:Recent Developments in Algebraic Development Techniques, 14th International Workshop, WADT’99, Chateau de Bonas, France. LNCS