L'objectif de cette UE est de faire découvrir la spécification
formelle et la vérification déductive de programmes à travers
l'utilisation des outils Why3 et Frama-C.
- Enseignant: Andriy Paskevych
- Enseignant: Compte Suspendu
Année: 20/21
If you continue browsing this website, you agree to our policies:
x