Discussion of some practicalities of applying formal methods to software. Ideally we are seeking techniques that can be applied with increasing effort to yield increasingly strong results. Also, introduction to functional programming.
Want to check another podcast?
Enter the RSS feed of a podcast, and see all of their public statistics.
