La vérification des programmes par interprétation abstraite.
Séminaire de la Chaire d'Innovation technologique — Liliane Bettencourt, 2007—08, Collège de France, 22 février 2008.
- Planches de l'exposé
- Planches (sans superpositions, pour la lecture)
- 4 planches par page (pour impression)
:
:
\bibitem{Cousot08-CdF}
P. Cousot.
\newblock La v{\'e}rification des programmes par interpr{\'e}tation abstraite.
\newblock S{\'e}minaire de la Chaire d'Innovation technologique --
Liliane Bettencourt, Coll{\`e}ge de France, 22 f{\'e}vrier 2008.
@unpublished{Cousot08-CdF,
author = {P{.} Cousot},
title = {La v{\'e}rification des programmes par interpr{\'e}tation
abstraite},
note = {S{\'e}minaire de la Chaire d'Innovation technologique --
Liliane Bettencourt, Coll{\`e}ge de France},
month = "22 " # feb,
year = 2008,
}