Formal Methods and the Future of Programming

(blog.janestreet.com)

7 points | by sebg 14 hours ago ago

No comments yet.