Automatisation de la certification formelle de systèmes critiques par instrumentation d'interpréteurs abstraits
27 août 2010
Manuel GARNACHO / VERIMAG
Infos
- Gricad Vidéos
- 1 janvier 2021 00:00
- Autres
- Français
Les commentaires ont été désactivés pour cette vidéo.