Program Verification by Abstract Interpretation

Authors
Slides

Abstract

Talk for the new students at the ENS in 2020.

Date
Monday, September 14, 2020 10:20 — 10:40
Event
Back to school talks
Location
🇫🇷 ENS, France