Report from the BSI panel for the standardisation of VDM (IST/5/50)

• Authors:

• Derek Andrews

• Affiliations:

• Univ. of Leicester, Leicester, UK

• Venue:
• Proceedings of the 2nd VDM-Europe Symposium on VDM---The Way Ahead
• Year:
• 1988