1. 16
    TLA+ in Practice and Theory Part 1: The Principles of TLA+ formalmethods pron.github.io
    nikola avatar via nikola 1 year ago | cached | no comments

  1.