Sémantique Axiomatique ou Logique de Hoare - Ensiie
Sémantique Axiomatique ou Logique de Hoare - Ensiie
Sémantique Axiomatique ou Logique de Hoare - Ensiie
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Jessie utilise Why, générateur d’obligations <strong>de</strong> preuve (J.C Filliatre)<br />
(Jessie successeur <strong>de</strong> Caduceus)<br />
(ENSIIE) <strong>Hoare</strong> 49 / 52