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