Introduction à la vérification, 2021?2022, M1 Notes de cours et ...
Exercice de modélisation (suite). A l'aide des définitions ... Le langage des substitutions généralisées est conçu pour décrire des changement d'états.
Exercice de modélisation (suite). A l'aide des définitions ... Le langage des substitutions généralisées est conçu pour décrire des changement d'états.