Login / Signup
A Graphical User Interface for Maude-NPA.
Sonia Santiago
Carolyn L. Talcott
Santiago Escobar
Catherine A. Meadows
José Meseguer
Published in:
Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
</>
formal specification
equational theories
graphical interface
general purpose
information systems
command line
case study
intelligent agents
database design
reverse engineering