Conférence de J-R Abrial au Collège de France, avril 2015

 http://www.college-de-france.fr/site/gerard-berry/seminar-2015-04-01-17h30.htm

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