Institutional Repository

Browsing College of Science, Engineering & Technology by Subject "Vampire theorem prover"

UnisaIR/Manakin Repository

Browsing College of Science, Engineering & Technology by Subject "Vampire theorem prover"

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