Marie-Claude Gaudel, Jean-Pierre Jouannaud

TAPSOFT '93: Theory and Practice of Software Development - 1993 - Springer Berlin Heidelberg 1993 - Lecture Notes in Computer Science .

9783540475989


Computer Science