Ada@programming.devM to Ada@programming.dev · 6 months ago[Webinar] Proving Software Security with SPARK Proyoutu.beexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-link[Webinar] Proving Software Security with SPARK Proyoutu.beAda@programming.devM to Ada@programming.dev · 6 months agomessage-square0fedilink