Djaoui, C., & Chaoui, A. (2024). FORMALIZATION AND ANALYSIS OF UML 2.0 INTERACTION OVERVIEW DIAGRAM USING MAUDE REWRITING LOGIC LANGUAGE: Using Maude Rewriting Logic Language. Computer Science, 25(3). https://doi.org/10.7494/csci.2024.25.3.5964