Méthodes de conception de logiciels fiables et sécurisés

EXAMEN DE SPÉCIALITÉ ... A.1.3 Langages de spécifications algébriques . ... Les méthodes de spécifications formelles sont utilisées en génie logiciel pour.