AuRUS: Automated Reasoning on UML/OCL Schemas

International Conferences 2010

Authors: Queralt, Anna / Rull, Guillem / Teniente, Ernest / Farré, Carles / Urp\'ı, Toni

Publication: ER

Pagination: 438-444