Séance de cours

CS-550: Jérôme Boillot: Abstract Interpretation in Stainless