in Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers in Lecture Notes in Computer Science, ISSN: 16113349; 03029743
Volume: 15551, Pages: 105-111
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
