John Cooke Books
Constructing Correct Software Formal Approaches to Computing and Information Technology
By John Cooke
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. This theorem is the goal of traditional program testing and, more recent...
Read More