Carlos Hernández Corbato

Joint Papers

• A Formal Model of Metacontrol in Maude