![#306: [Provable Security Podcast Series Episode #1]: Automated Reasoning’s Past, Present, and Future with Moshe Vardi](http://d3gih7jbfe3jlq.cloudfront.net/AWS-Podcast-Title-Art.jpg)
#306: [Provable Security Podcast Series Episode #1]: Automated Reasoning’s Past, Present, and Future with Moshe Vardi
AWS Podcast · Amazon Web Services
April 3, 201943m 8s
Audio is streamed directly from the publisher (d1le29qyzha1u4.cloudfront.net) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.