Mathematical theory of program correctness

by J. W. de Bakker

"The third novel in Terry Pratchett and Stephen Baxter's "Long Earth" series, which Io9 calls "a brilliant science fiction collaboration.""-- 2040-2045. In the years after the cataclysmic Yellowsto…