View of Formalization and analysis of uml 2.0 interaction overview diagram using maude rewriting logic language

Return to Article Details Formalization and analysis of uml 2.0 interaction overview diagram using maude rewriting logic language Download Download PDF