Proving Safety (2): a three part series

This is the second in a series of three podcast with Greg Smith, the author of the book Paper Safe. In this podcast Greg and I discuss his new book Proving Safety, why he chose the title and the subtitle, and how is the book different from his previous book Paper Safe.