IF311 - Formal design of software

Jekyll2026-10-12T16:13:24+00:00https://thor.enseirb-matmeca.fr/sites/teaching-if311-class/feed.xmlIF311 - Formal design of softwareClass IF311 "formal design of software" - Bordeaux INP, ENSEIRB-MATMECA, Computer Science departmentFrédéric Herbreteau