Wednesday, January 23, 2019

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

Formally Verified Software in the Real World (2018)
124 by icc97 | 9 comments on Hacker News.
Posted by at
Labels:

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)