TLA+ and Formal Methods (The Technium Podcast S02 E09)

af The Technium