Institutional Repository

Browsing Research Outputs (Computing) by Subject "Set theories"

UnisaIR/Manakin Repository

Browsing Research Outputs (Computing) by Subject "Set theories"

Sort by: Order: Results:

  • Van der Poll, J.A.; Labuschagne, W.A. (1999-07)
    A formal specification language like Z permits the specifier to construct proofs which collaborate the aptness of the specification. This process may be facilitated by establishing a partnership between the specifier and ...

Search UnisaIR


Browse

My Account