Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings /

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized...

Descrición completa

Detalles Bibliográficos

Autor Corporativo:	SpringerLink (Online service)
Outros autores:	Chechik, Marsha (Editor), Katoen, Joost-Pieter (Editor), Leucker, Martin (Editor)
Formato:	Electrónico eBook
Idioma:	inglés
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2023.
Edición:	1st ed. 2023.
Series:	Lecture Notes in Computer Science, 14000
Subjects:	Software engineering. Computer science. Computers, Special purpose. Programming languages (Electronic computers). Microprogramming . Natural language processing (Computer science). Software Engineering. Computer Science Logic and Foundations of Programming. Special Purpose and Application-Based Systems. Programming Language. Control Structures and Microprogramming. Natural Language Processing (NLP).
Acceso en liña:	https://doi.org/10.1007/978-3-031-27481-7
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!