Search

Home > Math Mutation > Math Mutation 251: Paradoxes, Mathematical Oddities, and Formal Verification
Podcast: Math Mutation
Episode:

Math Mutation 251: Paradoxes, Mathematical Oddities, and Formal Verification
Category: Science & Medicine
Duration: 00:40:49
Publish Date: 2019-05-20 12:55:58
Description: Audio of a recent conference talk relating Math Mutation topics to the verification of processor designs. (Send feeback to erik@mathmutation.com)
Total Play: 0