AMA TLA+ - Leslie Lamport
Channel: Markus Kuppe
Date: 2021-10-11

http://conf.tlapl.us/2021/