Formalisation based on understanding

Marques, Maria Manuela; Belsnes, Dag; Murphy, Malachy

January 01, 1993

DART

• Published date: January 01, 1993
• Publisher:
• Refereed: 1
• Conference: Sixth International Conference on Formal Description Technicues. FORTE'93. Proceedings. Boston
• Page(s):
• Journal:
• Name and number of project:
• Volume/number:
• Title: Formalisation based on understanding
• Author(s): Marques, Maria Manuela; Belsnes, Dag; Murphy, Malachy
• ISBN:
• Book title:
• Editor: