There are 0 repository under maxuse topic.
QMaxUSE: A query-based verification tool for verifying UML class diagrams with extreme size of OCL invariants.
Second project submission for MSC