VirtualTam's bookmarks

  1. Learn TLA+ - Temporal Logic of Actions 2022-07-04
    tags: book, formal-specification/tla+
    [ permalink ]