Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings /

This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023. The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions. The papers are divided...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Barbosa, Haniel (Editor), Zohar, Yoni (Editor)
Format:	Electronic eBook
Language:	English
Published:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Edition:	1st ed. 2024.
Series:	Lecture Notes in Computer Science, 14414
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-49342-3
Tags:	Add Tag No Tags, Be the first to tag this record!