Continuing pessimistic discussion about the purpose of formal methods for Computer Science. But then counter arguments about the value of absolutely correct software.
Want to check another podcast?
Enter the RSS feed of a podcast, and see all of their public statistics.
