A Model Transformation Semantics and Analysis Methodology for SecureUML (2006)

by A Brucker, J Doser, B Wolff
Venue:In: Lecture Notes in Computer Science