Retrenchment

• Authors:

• Richard Banach;M. Poppleton

• Affiliations:

• -;-

• Venue:
• FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
• Year:
• 1999