Abstract about a poster on certified program verifiers in Coq
You can download the poster in OpenOffice or PDF format.