ahelwer
- Karma
- 9,163
- Created
- 14 years ago
About
ahelwer.caRecent Submissions
- 1. ▲ Book review: Is parallel programming hard, and, if so, what can you do about it? (ahelwer.ca)
- 2. ▲ The changing role of finite-state model checking (ahelwer.ca)
- 3. ▲ TLA⁺ is more than a DSL for breadth-first search (ahelwer.ca)
- 4. ▲ TLA⁺ Unicode support: Learning to work with others in open source (ahelwer.ca)
- 5. ▲ Wrangling Monotonic Systems in TLA+ (ahelwer.ca)