Concurrent MetateMDefinitionConcurrent MetateM ist eine hochrangige Spezifikationssprache, die hauptsächlich in der …basic_concepts ★5/5
