On the Semantics of Operation Contracts in Conceptual Modeling.

Anna Queralt, Ernest Teniente

Browse the full CaiSE paper archive.