An Iterator Construct for the Refinement Calculus

Steve King, Carroll Morgan

Computer Science

Research output: Contribution to conference › Paper › peer-review

Original language	Undefined/Unknown
Publication status	Published - 2000

Access to Document

http://ewic.bcs.org/conferences/2000/4thformal/papers/paper3.htm

Cite this