Reusable Specification Components

Martin Wirsing, Rolf Hennicker, Ruth Breu. Reusable Specification Components. In Michal Chytil, Ladislav Janiga, Václav Koubek, editors, Mathematical Foundations of Computer Science 1988, MFCS 88, Carlsbad, Czechoslovakia, August 29 - September 2, 1988, Proceedings. Volume 324 of Lecture Notes in Computer Science, pages 121-137, Springer, 1988.

Abstract

Abstract is missing.