Institutional Repository

Browsing Unisa Research Output by Author "Labuschagne, W.A."

UnisaIR/Manakin Repository

Browsing Unisa Research Output by Author "Labuschagne, W.A."

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