Similar Tracks
Finn Hackett & Ivan Beschastnikh - Automating Trace Validation with PGo
TLA+ - The Temporal Logic of Actions
Lee Kuan Yew: In His Own Words | The ideas, values and career of Singapore's first Prime Minister
CNA