Proceedings-Artikel

Towards an Evolutionary Formal Software-Development Using CASL

Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer
In: C. Choppy; D. Bert (Hrsg.). Recent Trends in Algebraic Development Techniques, (WADT-99). Pages 73-88, Springer, LNCS 1827, 2000.

Weitere Links

BibTeX

http://www.dfki.de/vse/papers/ahms00.ps.gz