Power of Computer-Checked Proofs for Software - a podcast by Aaron Stump

from 2021-01-31T22:10:42.023393

:: ::

Rationale for formal methods for software

Further episodes of Iowa Type Theory Commute

Further podcasts by Aaron Stump

Website of Aaron Stump