Web Services and Interoperability for the Maude Termination Tool

Francisco Durán, Salvador Lucas, José Meseguer, Francisco Gutiérrez. Web Services and Interoperability for the Maude Termination Tool. Electronic Notes in Theoretical Computer Science, 248:83-92, 2009. [doi]

Abstract

Abstract is missing.