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