Experience Using VDM in STC

• Authors:

• R. J. Crispin

• Affiliations:

• -

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