Mopsa tutorial

Raphaël Monat
Slides Slides (handout) Practical session Anonymous feedback

Date
04/09/24
Event
Lipari Summer School on Abstract Interpretation
Location
Lipari, Italy

Interactive engine demo