New top story on Hacker News: Formally Verified Software in the Real World (2018) Posted By: Rushan Skywalker 12:03 AM Leave a Reply Formally Verified Software in the Real World (2018) 123 by icc97 | 9 comments on Hacker News. Tweet Share Share Share Share
0 comments: