Youtube With Subtitle

2020

Oct 1
An Extension of PlusCal for Modeling Distributed Algorithms - Heba Alkayed et al.