BORA - UiB

Bergen Open Research Archive

Browsing Department of Informatics by Subject "Program correctness"

Bergen Open Research Archive

Browsing Department of Informatics by Subject "Program correctness"

Sort by: Order: Results:

  • Bezem, Marcus A.; Truong, Anh Hoang (Journal article, Elsevier B.V., 2003-09-02)
    Component composition can lead to multiple instances of the same component. Some components can have only one instance loaded at a time, for example, when a unique external resource is used. We give an abstract component ...

Search BORA


Browse

My Account