Browsing by Author Barbosa, Luís S.
Showing results 6 to 6 of 6
< previous
Issue Date | Title | Author(s) | Type | Access Type |
---|---|---|---|---|
2-Apr-2016 | Reuse and integration of specification logics: the hybridisation perspective | Barbosa, Luís S.; Martins, Manuel A.; Madeira, Alexandre; Neves, Renato | bookPart |