Design for Verification: Using Design Patterns to Build Reliable Systems (2003)

by P Mehlitz, J Penix
Venue:Proceedings of the Sixth ICSE Workshop on Component-Based Software Engineering