Reuse of Knowledge at an Appropriate Level of Abstraction - Case Studies Using Specware

• Authors:

• Keith E. Williamson;Michael Healy;Richard A. Barker

• Affiliations:

• -;-;-

• Venue:
• ICSR-6 Proceedings of the 6th International Conerence on Software Reuse: Advances in Software Reusability
• Year:
• 2000