Report - A Static Approach to Consistency Verification of UML Models Andrea Baruzzo [email protected] Department of Computer Science University of Udine MoDeV.

Please pass captcha verification before submit form