La notation Z est un langage de spécification utilisé pour décrire et modéliser les systèmes informatiques.
