Math Mutation
Math Mutation 251: Paradoxes, Mathematical Oddities, and Formal Verification
- Autor: Vários
- Narrador: Vários
- Editor: Podcast
- Duración: 0:40:49
- Mas informaciones
Informações:
Sinopsis
Audio of a recent conference talk relating Math Mutation topics to the verification of processor designs. (Send feeback to erik@mathmutation.com)