Attention, la plate-forme sera en maintenance toute la journée du 23 avril 2024. De plus, l'outil "Habillage" des vidéos n'est pas encore totalement fonctionnel. Merci de ne pas l'utiliser pour le moment.
Mots clés : inductive definitions separation logic
Informations
- Nicolas Peltier
- 12 janvier 2021 17:26
- Conférences
- Anglais
Commentaire(s)