Experience with VDM in Norsk Data

• Authors:

• Uwe Schmidt;Reinhard Völler

• Affiliations:

• -;-

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