A Formal Model of Metacontrol in Maude

von Päßler, Juliane
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2022)