Søgning på underkategorier- og emner:
This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024.
The two volume set CCIS 2562 and 2563 constitutes the proceedings of the... Læs mere
The two volume set CCIS 2562 and 2563 constitutes the proceedings of the... Læs mere
This volume constitutes the revised selected papers of 12th International... Læs mere