1. 11
    TLA+ at Microsoft to build planetary-scale systems video distributed formalmethods youtube.com
    lemmster avatar via lemmster 2 months ago | cached | no comments

  1.