The EXSPECT Tool

• Authors:

• Kees M. van Hee;L. J. Somers;Marc Voorhoeve

• Affiliations:

• -;-;-

• Venue:
• VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
• Year:
• 1991