Diana Costa

Bibliography

Areces, Carlos and Costa, Diana. 2023. Dynamic Logic. New Trends and Applications. Lecture Notes in Computer Science. Berlin: Springer, doi:10.1007/978-3-031-26622-5.