@maxr@lemmy.ml to Ada@lemmy.ml • 3 years agoVideo FOSDEM 2021: Proving heap-manipulating programs with SPARKyoutu.beexternal-linkmessage-square0fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1external-linkVideo FOSDEM 2021: Proving heap-manipulating programs with SPARKyoutu.be@maxr@lemmy.ml to Ada@lemmy.ml • 3 years agomessage-square0fedilink