Buscar
Mostrando ítems 1-1 de 1
Tool Interoperability in the Maude Formal Environment
(Springer, 2011)
We present the Maude Formal Environment (MFE), an executable formal specification in Maude within which a user can seamlessly interact with the Maude Termination Tool, the Maude Sufficient Completeness Checker, the ...