Formalism and method (1997)

by E Astesiano, G Reggio
Venue:TAPSOFT '97: Theory and Practice of Software Development, Intl. Joint Conf. CAAP/FASE, volume 1214 of LNCS