On Refinement Calculus and Partial Correctness (DRAFT) R.D. Arthan 10 December[removed] - Refinement calculus - Document - PDFSEARCH.IO

First Page	Meta Content
	On Refinement Calculus and Partial Correctness (DRAFT) R.D. Arthan 10 December[removed] Add to Reading List Document Date: 2006-12-10 08:21:15 Open Document File Size: 232,22 KB Share Result on Facebook Currency USD / / Event Product Issues / / Facility ProofPower Z library / / IndustryTerm acceptable systems / possible systems / physical systems / / Position canonical representative / representative / / Product subsystems / / ProgrammingLanguage EC / Ada / / Technology operating system / / SocialTag Program logic Functions and mappings Function Hoare logic Refinement calculus S Monad Uniform space Mathematics Mathematical logic

On Refinement Calculus and Partial Correctness (DRAFT) R.D. Arthan 10 December[removed]Add to Reading List