Keynote: TLA+ at Microsoft: 16 Years in Production - David Langworthy
Channel: Markus Kuppe
Date: 2019-09-18

http://conf.tlapl.us/program/