Ada maxr • 4 years ago • 100%

Video FOSDEM 2021: Proving heap-manipulating programs with SPARK

youtu.be