Comme l'année dernière, j'ai fait une introduction aux méthodes formelles aux étudiants d'ESIR 3, l'école d'ingénieur de l'université de Rennes 1 (anciennement DIIC).

Et comme l'année dernière les transparents sont disponibles, au format PDF ou les sources au format propriétaire PPTX (LibreOffice peut ouvrir le fichier). Ils sont libres, sous licence Art Libre 1.3, sauf pour quelques images, récupérées sur le web et propriété de leurs auteurs.

Promis, l'année prochaine je ferai ma présentation (ou une nouvelle présentation sur le même thème) uniquement avec des outils Libres ! ;-)