Lecture "Concurrency (Part 4, Interleavings)" of "Program Analysis"
Channel: Michael Pradel
Date: 2021-01-31

Lecture in the "Program Analysis" course by Prof. Dr. Michael Pradel at University of Stuttgart in winter semester 2020/21

See course page for more information:
http://software-lab.org/teaching/winter2020/pa/