John V. Guttag (auth.), M. -C. Gaudel, J. -P. Jouannaud (eds.)

TAPSOFT’93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE Orsay, France, April 13–17, 1993 Proceedings