Bertrand Meyer;Jean-Marc Nerson;Masanobu Matsuo
-;-;-
Eliminating invariants in UML/OCL models
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe