Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings /

This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4–6, 2024. The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submi...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	C. Nogueira, Sidney (Editor), Teodorov, Ciprian (Editor)
Format:	Electronic eBook
Language:	English
Published:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Edition:	1st ed. 2025.
Series:	Lecture Notes in Computer Science, 15403
Subjects:	Software engineering. Natural language processing (Computer science). Logic programming. Computer science. Computers, Special purpose. Computer networks . Software Engineering. Natural Language Processing (NLP). Logic in AI. Theory of Computation. Special Purpose and Application-Based Systems. Computer Communication Networks.
Online Access:	https://doi.org/10.1007/978-3-031-78116-2
Tags:	Add Tag No Tags, Be the first to tag this record!