Deductive Synthesis of Event-Based Software Architectures

International Conference on Automated Software Engineering, IEEE/ACM (1999), pp. 311-314

Abstract