Scholarly Research Excellence
Lamrani, M. "On Formalizing Predefined OCL Properties". World Academy of Science, Engineering and Technology, International Science Index 73, International Journal of Computer, Electrical, Automation, Control and Information Engineering, (2013), 7(1), 36 - 40.