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

Description complète

Détails bibliographiques

Collectivité auteur:	SpringerLink (Online service)
Autres auteurs:	Chechik, Marsha (Éditeur intellectuel), Katoen, Joost-Pieter (Éditeur intellectuel), Leucker, Martin (Éditeur intellectuel)
Format:	Électronique eBook
Langue:	anglais
Publié:	Cham : Springer International Publishing : Imprint: Springer, 2023.
Édition:	1st ed. 2023.
Collection:	Lecture Notes in Computer Science, 14000
Sujets:	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).
Accès en ligne:	https://doi.org/10.1007/978-3-031-27481-7
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!