The Future of TLA+ (via hwayne) — discussion

#formalmethods #pdf