Concepts et Model Checking – 2023

Les transparents

Les transparents sont issus d'une traduction en français des slides élaborés par Javier Esparza, Keijo Heljanko et Stefan Schwoon.

Les TD

Examen


Enseignant: Stefan Schwoon