Support Environments for VDM

• Authors:

• Kevin D. Jones

• Affiliations:

• -

• Venue:
• VDM '87 Proceedings of the VDM-Europe Symposium on VDM - A Formal Method at Work
• Year:
• 1987