[Webinar] Jan 31- AdaCore “Memory Safety with Formal Proof”

Events
1

Hi, FYI, AdaCore is having a webinar on Jan 31 “Memory Safety with Formal Proofs” for anyone interested.

See the Reddit post below for details

https://www.reddit.com/r/spark/s/KsRJGhpnH9

2 Likes