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:37 - 8 self