The Maude Formal Tool Environment.

Manuel Clavel, Francisco Durn, Joe Hendrix, Salvador Lucas, Jos Meseguer, Peter Csaba lveczky

Browse the full CALCO paper archive.