TAPSOFT '93: Theory and Practice of Software Development
Jouannaud, Jean-Pierre / Gaudel, Marie-Claude This volume contains the proceedings of the fourth
International Joint Conference on the Theory and Practice of
Software Development, TAPSOFT '93. Since the first in 1985,
the aim of these conferences has been to bring together
theoretical computer scientists and researchers in software
engineering with a view to discussing how formal methods can
usefully be applied in software development.
TAPSOFT '93 consists ofthree parts: an advanc...