Towards an Evolutionary Formal Software Development (1999)

by Dieter Hutter , Axel Schairer
Venue:Proceedings Workshop on Algebraic Development Techniques, WADT-99. Springer, LNCS 1827
Citations:34 - 8 self