Modeling Semantic Data Concepts with VDM

Regine Laleau, Philippe Facon. Modeling Semantic Data Concepts with VDM. In SEKE 93, The 5th International Conference on Software Engineering and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, USA. pages 228-230, Knowledge Systems Institute, 1993.

Abstract

Abstract is missing.