@maxr to Ada • 3 years agoVideo FOSDEM 2021: Proving heap-manipulating programs with SPARKyoutu.beexternal-linkmessage-square0arrow-up14arrow-down10
arrow-up14arrow-down1external-linkVideo FOSDEM 2021: Proving heap-manipulating programs with SPARKyoutu.be@maxr to Ada • 3 years agomessage-square0