Reasoning on UML Conceptual Schemas with Operations

International Conferences 2009