Overcast
Podcaster Info
Ads
Log In
Future of Coding
The Case for Formal Methods: Hillel Wayne
April 10, 2019
0:00
-:--
30
30
Speed
–
1×
+
+
+
+
+
2×
+
Website
•
Share link
•
Share link with timestamp