Mário Benevides profile picture

Mário Benevides

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

Stand Alone

Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Dynamic Logic. New Trends and Applications