VERS UN ENRICHISSEMENT DES COMPORTEMENTS DES DESIGN PATTERNS PAR LE LANGAGE DE SPECIFICATION FORMELLE LOTOS. STB. 2007;(26):61-66. Consulté le septembre 8, 2025. https://revue.umc.edu.dz/b/article/view/235