Drawing Preconditions of Operation Contracts from Conceptual Schemas

International Conferences 2008