Bande, M. , Ould-Slimane, H. , Boucheneb, H. (2018). 'A Formal Property Verification for Aspect-Oriented Programs in Software Development'. World Academy of Science, Engineering and Technology, Open Science Index 141, International Journal of Computer and Systems Engineering, 12(9), 769 - 776.