Institutional Repository

Browsing Research Articles (Computing) by Subject "Set-theoretic"

UnisaIR/Manakin Repository

Browsing Research Articles (Computing) by Subject "Set-theoretic"

Sort by: Order: Results:

  • Steyn, Paul S.; Van der Poll, John A. (2007-06)
    The specification of enterprise information systems using formal specification languages enables the formal verification of these systems. Reasoning about the properties of a formal specification is a tedious task that can ...

Search UnisaIR


Browse

My Account