in DYNAMIC LOGIC: NEW TRENDS AND APPLICATIONS, DALI 2019 in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 12005, Páginas: 88-103 (16)
Conference
2Nd International Workshop on Dynamic Logic (Dali) as Part of the Formal Methods Week / 3Rd World Congress on Formal Methods, Date: OCT 07-11, 2019, Location: Porto, PORTUGAL