VirtualTam's bookmarks

1. Learn TLA+ - Temporal Logic of Actions 2022-07-04

   tags: book, formal-specification/tla+

   [ permalink ]

   • https://www.hillelwayne.com/post/learntla/