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

05.20.2019 - By Math Mutation

Download our free app to listen on your phone

Audio of a recent conference talk relating Math Mutation topics to the verification of processor designs.

(Send feeback to erik@mathmutation.com)

More episodes from Math Mutation