Abstract solution design by specification refinement.

Jos Manuel Burgos, Javier Galve, Julio Garca, Jun Jos Moreno, Susana Muoz, D. Villn

Browse the full ITiCSE paper archive.