Formal Methods and the Future of Programming

  • Posted 3 hours ago by dcre
  • 3 points
https://blog.janestreet.com/formal-methods-at-jane-street-index/

1 comments

    Loading..