1. 5
    Ironfleet - Proving Practical, Distributed Systems Correct (2015) distributed math programming blog.acolyer.org
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments

  1.