in Dynamic Logic. New Trends and Applications - 4th International Workshop, DaLí 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 13780, Páginas: 37-55 (18)
Conference
4Th International Workshop on Dynamic Logic, Dalí 2022, Date: 31 July 2022 through 1 August 2022, Location: Virtual, Online