Author: Trevor Vickers

On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together – among other things – Z specifications and Dijkstra’s programming language. …