Geoffrey Hall

Search results

• 2003

  The Language of Causation for Describing the Behaviour of Systems

  Moffett, J. D., Hall, J. G. & McDermid, J. A., 19 Oct 2003.

  Research output: Working paper

• 1994

  Libraries of Algebraically Specified Datatypes in Z

  Hall, J. G. & McDermid, J. A., 1994.

  Research output: Working paper