Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings /

This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023. The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, wer...

Descripció completa

Dades bibliogràfiques

Autor corporatiu:	SpringerLink (Online service)
Altres autors:	Ferreira, Carla (Editor), Willemse, Tim A. C. (Editor)
Format:	Electrònic eBook
Idioma:	anglès
Publicat:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Edició:	1st ed. 2023.
Col·lecció:	Lecture Notes in Computer Science, 14323
Matèries:	Software engineering. Data structures (Computer science). Information theory. Logic programming. Microprogramming . Computer systems. Computer programming. Software Engineering. Data Structures and Information Theory. Logic in AI. Control Structures and Microprogramming. Computer System Implementation. Programming Techniques.
Accés en línia:	https://doi.org/10.1007/978-3-031-47115-5
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!