Cariou, Eric, France
-
Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009 - Articles
OCL contracts for the verification of model transformations
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.
Electronic Communications of the EASST