David Pichardie
EJCP 2007
Menu
Home
Research
Publications
Teaching
Programmation certifi�e avanc�e en Coq
les transparents :
coq.pdf
le squelette d'exercice sur la programmation certifi�e d'ensembles finis :
set.v
Interpr�tation abstraite
les transparents :
ia1.pdf
et
ia2.pdf