2.1 Slides for the course MALG2

2.1.1 Lecture 0 Overview of the course

Overview of the course

2.1.2 Lecture 1 Vérification mécanisée de contrats (III)

Lecture 1 Vérification mécanisée de contrats (III)

2.1.3 Lecture 2 Théorie du point-fixe et applications

Lecture 2 Théorie du point-fixe et ses applications

2.1.4 Lecture 3 Sémantique ds langages de programmation

Lecture 3 Sémantique ds langages de programmation

2.1.5 Lecture 4 Interprétation Abstraite

Lecture 4 Interprétation Abstraite