Program Derivation using the Refinement Calculator

Authors
Publication date
1 January 1996
Publisher
Doi

    Abstract

    . The refinement calculus provides a theory for the stepwise refinemen

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Southampton (e-Prints Soton)

      redirect
      oaioai:eprints.soton.ac.uk:250578
      Last time updated on 05/04/2012