Formally Verified Software in the Real Worldhttps://cacm.acm.org/magazines/2018/10/231372-formally-verified-software-in-the-real-world/fulltext …
0 replies
6 retweets
11 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.