Towards a Base Model for UML and OCL Verification.

Frank Hilken, Philipp Niemann, Robert Wille, Martin Gogolla

Browse the full MODELS paper archive.