Refinement of parameterized algebraic specifications

Yellamraju V. Srinivas. Refinement of parameterized algebraic specifications. In Richard S. Bird, Lambert G. L. T. Meertens, editors, Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France. Volume 95 of IFIP Conference Proceedings, pages 164-186, Chapman & Hall, 1997.

No reviews for this publication, yet.