Support de l’asm dans Astrée : rétro-ingénierie et flot de programme

Authors
Diapositives

Date
Monday, March 26, 2018
Évènement
Séminaire de l’équipe Antique
Lieu
🇫🇷 Antique, ENS, France