Ad

Wednesday, 23 January 2019

New top story on Hacker News: Formally Verified Software in the Real World (2018)

Formally Verified Software in the Real World (2018)
126 by icc97 | 9 comments on Hacker News.


No comments:

Post a Comment