Sign in

The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration.

Mark van den BrandPierre-Etienne MoreauChristophe Ringeissen
Published in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases