Martin Lundfall - Practical Formal Verification

Episode 26 · November 23rd, 2018 · 27 mins 48 secs

About this Episode

Follow me on Twitter: @itsjefftong
New episodes every Thursday!

kframework: http://www.kframework.org/index.php/Main_Page