Listener Richard Allen writes to ask about proving enough of a program correct to constrain the number of tests that must be written. I respond that you need both tests and proof. Otherwise, how could...Show More
🎉 Join the #1 community of podcast lovers and never miss a great podcast.
Sign up
Recommendations