Lecture_3_AFQL_2024.mp4

6 février 2024
01:27:43
Nombre de vues 61
Nombre d’ajouts dans une liste de lecture 0
Nombre de favoris 0

Cours 3 AFQL. Automatisation de la preuve. Correction et complétude de la logique de Hoare.

  • Ajouté par : Frederic Prost (fprost)
  • Mis à jour le : 6 février 2024 10:12
  • Type : Cours
  • Langue principale : Français
  • Public : Master
  • Discipline(s) :