#335: October 2019 Update Show 1
AWS Podcast
#337: [Provable Security Podcast Series Episode #2]: Automated Reasoning in the Cloud with John Harrison
In this latest episode, we interview John Harrison, Senior Principal Applied Scientist with the AWS
0:00