Luís Soares Barbosa profile picture

Luís Soares Barbosa

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Dynamic Logic. New Trends and Applications Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Dynamic Logic. New Trends and Applications