Case Study: Stepwise Development of a Communication Processor Using Trace Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Stephan Kleuker' in Google

runs on WebDSL