in Lecture Notes in Computer Science, ISSN: 16113349; 03029743
Volume: 15551 LNCS
Conference
22Nd International Conference on Software Engineering and Formal Methods, Sefm 2024, Collocated Workshops, International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications, Reacts 2024 and 6Th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, Cifma 2024, Location: Aveiro