Sémantique des déclarations pour le langage Z minimal Pr ZEGOUR DJAMEL EDDINE Ecole Supérieure dInformatique (ESI) email: [email protected][email protected].
