Using VDM in an Object-Oriented Development Method for Ada Software

• Authors:

• Chris Chedgey;Seamus Kearney;Hans-Jürgen Kugler

• Affiliations:

• -;-;-

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