A formal semantics for Z and the link between Z and the relational algebra

  • M.J. van Diepen
  • , K.M. Hee, van

    Research output: Book/Report › Report › Academic

    237 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'A formal semantics for Z and the link between Z and the relational algebra'. Together they form a unique fingerprint.
    Sort by

    Computer Science