Towards an Evolutionary Formal Software-Development Using CASL

@inproceedings{pub1550,
    author = {

Autexier, Serge
 and 

Hutter, Dieter
 and 

Mantel, Heiko
 and 

Schairer, Axel
},
    editor = {

Choppy, C.
 and 

Bert, D.
},
    title = {Towards an Evolutionary Formal Software-Development Using CASL},
    booktitle = {Recent Trends in Algebraic Development Techniques, (WADT-99). International Workshop on Algebraic Development Techniques (WADT)},
    year = {2000},
    pages = {73--88},
    publisher = {Springer, LNCS 1827}
}