Tool Interoperability in the Maude Formal Environment.

Francisco Durn, Camilo Rocha, Jos Mara lvarez

Browse the full CALCO paper archive.