Nous présenterons le langage qui permet de spécifier les motifs et les transformations de code, ainsi que la logique temporelle sous-jacente.
Kotangela nga ba kombo ya batu te awa, tozosolola nde natina ya retrouvaille ya Diomi pe oyo ekolanda.