Construction and Reuse of Formal Program Developments
Authors:
Jacques Cazin;Patrice Cros;R. Jacquart;M. Lemoine;P. Michel
Affiliations:
-;-;-;-;-
Venue:
TAPSOFT '91 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD)