/
lemmy.ml
Search
Explore
Create
Ada
maxr
•
Now
•
100%
Video FOSDEM 2021: Proving heap-manipulating programs with SPARK
youtu.be
4
0
Comments
0
Hot
Top
New