On Type Checking in VDM and Related Consistency Issues

• Authors:

• Flemming M. Damm;Bo Stig Hansen;Hans Bruun

• Affiliations:

• -;-;-

• Venue:
• VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
• Year:
• 1991