AdaM to Ada · 1 year agoMemory Safety with Formal Proof Webinarwww.youtube.comexternal-linkmessage-square0fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkMemory Safety with Formal Proof Webinarwww.youtube.comAdaM to Ada · 1 year agomessage-square0fedilink