parties/tools/adt2amas

ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios

Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 2 - Forks: 0

parties/tools/adt2maude

Last synced at: 7 months ago - Stars: 1 - Forks: 0