Moustapha Bande and Hakima Ould-Slimane and Hanifa Boucheneb, A Formal Property Verification for Aspect-Oriented Programs in Software Development. journal = {International Journal of Computer and Systems Engineering}, [online]. World Academy of Science, Engineering and Technology. August 2018, vol. 141(9). 769 - 776 [viewed 27 April 2024]. Available from: https://publications.waset.org/pdf/10009551.