Tout d'abord, excusez-moi si ce n'est pas le bon endroit pour poster ce message.
Quelqu'un aurait-il des tutos sur les spécifications formelles et plus particulièrement sur le langage Z avec exercices etc...
Contactez-moi par MP.
Merci d'avance.