START pod: Pedro Nobre, Co-Founder, Cajal: “Scaling Formal Verification for Scientific Discovery”
May 20, 20269m 38s
Audio is streamed directly from the publisher (media.transistor.fm) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.