Vidal Silva, C. (2016) “Aspect-Oriented Formal Modeling: (AspectZ + Object-Z) = OOAspectZ”, Computing and Informatics, 34(5), pp. 996–1016. Available at: http://147.213.75.17/ojs/index.php/cai/article/view/1380 (Accessed: 7 November 2024).