Verifying UML Models Annotated with OCL Strings.

Ankit Jha, Rosemary Monahan, Hao Wu

Browse the full MODELS paper archive.