Math Mutation 251: Paradoxes, Mathematical Oddities, and Formal Verification

Math Mutation ›

40:49 | May 20th, 2019

Audio of a recent conference talk relating Math Mutation topics to the verification of processor designs. (Send feeback to erik@mathmutation.com)...Show More