Djaoui, C. and 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 (Oct. 2024). DOI:https://doi.org/10.7494/csci.2024.25.3.5964.