Lecture "Operational Semantics (Part 2, Syntax of SIMP)" of "Program Analysis"
Channel: Michael Pradel
Date: 2020-11-02

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/