Institutional Repository

Browsing Open Research Collection by Subject "Z specification"

UnisaIR/Manakin Repository

Browsing Open Research Collection by Subject "Z specification"

Sort by: Order: Results:

  • van der Poll, John A.; Kotzé, Paula (2004)
    A condensed specification of a multi-level marketing enterprise in the Z specification language is presented and a number of proof obligations that result from operations on the state is stated. The feasibility of using ...

Search UnisaIR


Browse

My Account