Experience Designing Static Analyzers by Abstract Interpretation

Speaker: Antoine Miné
Affiliation: Sorbonne Université
Type: Scientific Talk

Abstract

Abstract to be confirmed.