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