Login
From:
muratbuffalo.blogspot.com
(Uncensored)
subscribe
Beyond the Code: TLA+ and the Art of Abstraction
http://muratbuffalo.blogspot.com/2023/09/beyond-code-tla-and-art-of-abstraction.html
links
backlinks
Tagged with:
aws
tla
automated reasoning
I have been teaching a TLA+ miniseries inside AWS. I just finished the 10th week, with a one hour seminar each week. I wanted to pen down my...
Roast topics
Find topics
Find it!
