Institutional Repository

Browsing by Subject "UCMs"

UnisaIR/Manakin Repository

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

Browse

My Account