Hacker News new | ask | show | jobs
Book Review: Practical TLA+ (pathsensitive.com)
3 points by savara 2592 days ago