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...

ver descrição completa

Detalhes bibliográficos

Autor Corporativo:	SpringerLink (Online service)
Outros Autores:	Ferreira, Carla (Editor), Willemse, Tim A. C. (Editor)
Formato:	Recurso Eletrônico livro eletrônico
Idioma:	inglês
Publicado em:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Edição:	1st ed. 2023.
coleção:	Lecture Notes in Computer Science, 14323
Assuntos:	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.
Acesso em linha:	https://doi.org/10.1007/978-3-031-47115-5
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!