Reasoning on UML Conceptual Schemas with Operations.

Anna Queralt, Ernest Teniente

Browse the full CaiSE paper archive.