Analyzing and Refining an Architectural Style

• Authors:

• Paolo Ciancarini;Cecilia Mascolo

• Affiliations:

• -;-

• Venue:
• ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
• Year:
• 1997