Luís Soares Barbosa

Luís Soares Barbosa

2 books in the database

Books

Formal Aspects of Component SoftwareLuís Soares Barbosa

Formal Aspects of Component Software

Luís Soares Barbosa · 2012

Dynamic Logic. New Trends and ApplicationsLuís Soares Barbosa

Dynamic Logic. New Trends and Applications

Luís Soares Barbosa · 2020