« VERS UN ENRICHISSEMENT DES COMPORTEMENTS DES DESIGN PATTERNS PAR LE LANGAGE DE SPECIFICATION FORMELLE LOTOS » (2007) Sciences & Technologie. B, Sciences de l’ingénieur, (26), p. 61–66. Disponible à: https://revue.umc.edu.dz/b/article/view/235 (Consulté le: 1 juillet 2025).