Formally Verified Software in the Real Worldhttps://cacm.acm.org/magazines/2018/10/231372-formally-verified-software-in-the-real-world/fulltext …
0 replies
1 retweet
6 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!