AuRUS: Automated Reasoning on UML/OCL Schemas

International Conferences 2010