Yamine Aït Ameur, Frederic Besnard, Patrick Girard, Guy Pierra, Jean-Claude Potier. Formal Specification and Metaprogramming in the EXPRESS Language. In SEKE 95, The 7th International Conference on Software Engineering and Knowledge Engineering, June 22-24, 1995, Rockville, Maryland, USA, Proceedings. pages 181-188, Knowledge Systems Institute, 1995.
Abstract is missing.