DJAOUI, C.; CHAOUI, A. FORMALIZATION AND ANALYSIS OF UML 2.0 INTERACTION OVERVIEW DIAGRAM USING MAUDE REWRITING LOGIC LANGUAGE: Using Maude Rewriting Logic Language. Computer Science, [S. l.], v. 25, n. 3, 2024. DOI: 10.7494/csci.2024.25.3.5964. Disponível em: https://journals.agh.edu.pl/csci/article/view/5964. Acesso em: 21 nov. 2024.