By the same authors

Derivation of Z Refinement Proof Rules: forwards and backwards rules incorporating input/output refinement

Research output: Working paper

Author(s)

Department/unit(s)

Publication details

DatePublished - 1 Dec 2002
Original languageUndefined/Unknown

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations