En relation avec le sujet du cours

Spécification, construction et vérification de programmes : le parcours d'une pensée scientifique sur une trentaine d'années