Browsing by Subject "Z Logic"

Now showing items 1-1 of 1

  • Z logic and its consequences

    Henson, Martin C.; Reeves, Steve; Bowen, Jonathan P. (Institute of Informatics, 2003-06)
    This paper provides an introduction to the specification language Z from a logical perspective. The possibility of presenting Z in this way is a consequence of a number of joint publications on Z logic that Henson and ...