Specifying Avalon Objects in Larch

• Authors:

• Jeannette M. Wing

• Affiliations:

• -

• Venue:
• TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages
• Year:
• 1989