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

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Chechik, Marsha (Editor), Katoen, Joost-Pieter (Editor), Leucker, Martin (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2023.
Edition:	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). Electronic books.
Online Access:	Connect to the full text of this electronic book