Loading...
sciencemathematics
Math Mutation 251: Paradoxes, Mathematical Oddities, and Formal Verification
About this Episode
Audio of a recent conference talk relating Math Mutation topics to the verification of processor designs.
(Send feeback to [email protected])
Hosts & Guests
No transcript available for this episode.
