Case Study: Stepwise Development of a Communication Processor Using Trace Logic

Stephan Kleuker. Case Study: Stepwise Development of a Communication Processor Using Trace Logic. 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 252-269, Springer, 1993.

Abstract

Abstract is missing.