#304: March Update Show Part 2
AWS Podcast
#306: [Provable Security Podcast Series Episode #1]: Automated Reasoning’s Past, Present, and Future with Moshe Vardi
Provable Security: Conversations on Next Gen Security. We published a podcast (https://aws.amazon.co
0:00