Mathpark – Langages formels (2012 ‑ 2013)

Transparents d'un exposé de vulgarisation sur les langages formels pour les cycles Mathpark de l'IHP.