Juliane Päßler

Joint Papers

• A Formal Model of Metacontrol in Maude