Institutional Repository

Browsing by Subject "UCMs"

Browsing by Subject "UCMs"

Sort by: Order: Results:

  • Dongmo, Cyrille (2011-11)
    Formal specification of software systems has been very promising. Critics against the end results of formal methods, that is, producing quality software products, is certainly rare. Instead, reasons have been formulated ...

Search UnisaIR


My Account