Login / Signup

TRSPEC: A Term Rewriting Based System for Algebraic Specifications.

Jürgen AvenhausRichard GöbelBernhard GramlichKlaus MadlenerJoachim Steinbach
Published in: CTRS (1987)
Keyphrases