Extending the Useful Application Domain for Formal Methods

• Authors:

• Paul A. Swatman;Danielle Fowler;C. Y. Michael Gan

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the Z User Workshop
• Year:
• 1991