vbank

Re:Applying TLA+ in cloud systems [video] on Tuesday December 15, 2020 @07:05AM (#25429495)

thank you so much for posting this, I lost my notes and was looking for TLA+ for months