Z and the Refinement Calculus

Computer Science

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

Original language	Undefined/Unknown
Pages	164-188
Publication status	Published - 1990

Access to Document

http://dx.doi.org/10.1007/3-540-52513-0_10

Cite this