Hacker News
Lobsters
- Practical TLA+ Now Available https://www.hillelwayne.com/post/practical-tla/ 31 comments book , formalmethods , release , show
- Practical TLA+ Now Available (authored by Hillel Wayne) https://www.hillelwayne.com/post/practical-tla/ 10 comments programming
Linked pages
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:hillelwayne.com
Search title: Practical TLA+ Now Available • Hillel Wayne
See how to search.