Security Proof of Critical Embedded Code Using Abstract Interpretation

Authors
Diapositives

Date
Thursday, June 7, 2018
Évènement
Séminaire du départemetn d’informatique.
Lieu
🇫🇷 Obernai, France