Institutional Repository

Browsing Department of Information Science by Subject "005.117"

Browsing Department of Information Science by Subject "005.117"

Sort by: Order: Results:

  • Adesina-Ojo, Ayodele Adeola (2011-06)
    Formal methods have been shown to be beneficial in increasing the quality of, and confidence in software systems. Despite the advantages of using formal methods in software development, the uptake in the commercial ...

Search UnisaIR


Browse

My Account