Open Science Research Excellence
Bande, M. "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, (2018), 12(9), 769 - 776.