New top story on Hacker News: Teaching rigorous distributed systems with efficient model checking
Teaching rigorous distributed systems with efficient model checking
9 by feross | 1 comments on Hacker News.
9 by feross | 1 comments on Hacker News.

No comments: