Math Mutation
Math Mutation 251: Paradoxes, Mathematical Oddities, and Formal Verification
- Author: Vários
- Narrator: Vários
- Publisher: Podcast
- Duration: 0:40:49
- More information
Informações:
Synopsis
Audio of a recent conference talk relating Math Mutation topics to the verification of processor designs. (Send feeback to erik@mathmutation.com)