Djaoui C, Chaoui A. FORMALIZATION AND ANALYSIS OF UML 2.0 INTERACTION OVERVIEW DIAGRAM USING MAUDE REWRITING LOGIC LANGUAGE: Using Maude Rewriting Logic Language. csci [Internet]. 2024Oct.3 [cited 2024Nov.21];25(3). Available from: https://journals.agh.edu.pl/csci/article/view/5964