What TLA+ can and can't check

[b-man]

Article URL: What TLA+ can and can't check

Comments URL: What TLA+ can and can't check | Hacker News

Points: 201

# Comments: 43

Continue reading...