Using VDM in an object-oriented development method for Ada software

• Authors:

• C Chedgey;S Kearney;H J Kugler

• Affiliations:

• -;-;-

• Venue:
• VDM-Europe Symposium 1987 on VDM '87: VDM---a formal method at work
• Year:
• 1987