ListarAD - CTG – Informática por tema "Objetivo de terminación"
Mostrando ítems 1-1 de 1
-
Tool Interoperability in the Maude Formal Environment
(SpringerBerlín, 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 ...