Tor to the World · story 975 · unverified · 1 source(s)

The internet discovers TLA+. Now what?

An online discussion explores the broader adoption and practical application of the TLA+ specification language.

Open in the desk

Coverage

What this site indexes