Frame conditions in symbolic representations of UML/OCL models.

Nils Przigoda, Jonas Gomes Filho, Philipp Niemann, Robert Wille, Rolf Drechsler

Browse the full MEMOCODE paper archive.