The Static Part of the Design Language COLD-K

Gerard R. Renardel de Lavalette. The Static Part of the Design Language COLD-K. In D. J. Andrews, Jan Friso Groote, C. A. Middelburg, editors, Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993. Workshops in Computing, pages 51-82, Springer, 1993.

Abstract

Abstract is missing.