VirtualTam's bookmarks

  1. Learn TLA+ - Temporal Logic of Actions
    2022-07-04
    book formal-specification/tla+
    Permalink