Formal Specification and Metaprogramming in the EXPRESS Language.

Yamine At Ameur, Frederic Besnard, Patrick Girard, Guy Pierra, Jean-Claude Potier

Browse the full SEKE paper archive.