Bridging the Verifiability Gap: Why We Need More From Our Specs and How We Get It -Jordan Haltermann
Channel: Markus Kuppe
Date: 2020-10-10

http://conf.tlapl.us/2020/13-Jordan_Halterman_Bridging_the_verifiability_gap.pdf