Esther Aguadol

Joint Papers

• A Formal Model of Metacontrol in Maude