Vérification de programmes par interprétation abstraite

Authors
Diapositives

Résumé

Exposé pour la rentrée des nouveau étudiants à l’ENS en 2020.

Date
Monday, September 14, 2020 10:20 — 10:40
Évènement
Exposé de rentrée
Lieu
🇫🇷 ENS, France