26: Martin Lundfall - Practical Formal Verification
0:00 -:--
Speed
++++++
PermalinkShare linkShare link with timestamp
November 23, 2018
Follow me on Twitter: @itsjefftong New episodes every Thursday! kframework: http://www.kframework.org/index.php/Main_Page