---

Spécification et certification du logiciel

---

Notes de cours

• complètes, mais parfois bizares, au format HTML
• complètes, au format postscript
  et aussi au format PDF

L'interro avec son corrigé

• au format postscript
  
• et aussi au format PDF