1.Alberto Lluch ASCENS General Meeting Pisa, March 2-4, 2011 maude [email_address] 2. what is maude? [email_address] “ A high-level,declarative l anguage that supports…
