Math Mutation
Math Mutation 251: Paradoxes, Mathematical Oddities, and Formal Verification
- Autor: Vários
- Narrador: Vários
- Editora: Podcast
- Duração: 0:40:49
- Mais informações
Informações:
Sinopse
Audio of a recent conference talk relating Math Mutation topics to the verification of processor designs. (Send feeback to erik@mathmutation.com)
