Development and application of a Meta IV compiler

• Authors:

• M Hass

• Affiliations:

• -

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