Lecture_3_AFQL_2024.mp4

Feb. 6, 2024
Duration: 01:27:43
Number of views 60
Addition in a playlist 0
Number of favorites 0

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

 Infos

  • Added by: Frederic Prost (fprost)
  • Updated on: Feb. 6, 2024, 10:12 a.m.
  • Type: Cours
  • Main language: French
  • Audience: Master’s Degree
  • Discipline(s):