Hacker News new | ask | show | jobs
TLA+ in Practice and Theory (pron.github.io)
2 points by rtukpe 918 days ago