Up a level |
BrĂ¼ning, Jens and Gogolla, Martin and Hamann, Lars and Kuhlmann, Mirco (2012) Evaluating and Debugging OCL Expressions in UML Models. In: Tests and Proofs - 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings.