hckrnws
back
5 years ago
Fri May 3, 2019 7:03pm PST
TLA+: design, model, document, and verify concurrent systems
@lolptdr
read article
comments:
add comment
loading comments...