Formal Methods: 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025, Proceedings (Lecture Notes in Computer Science #16363)
Informatique et Internet
Audio avec voix de synthèse, Braille automatisé
Résumé
This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3–5, 2025. The 12 full papers and 1 short paper included in this book were… carefully reviewed and selected from 24 submissions. They were organized in topical sections as follows: Process Algebras and Time; Formal Verification; Testing; Availability and Contracts; Formal Methods and AI; and Teaching and Foundations.
Description du titre
ISBN
9783032120861
Éditeur
Springer Nature Switzerland
Année
2026
Cote
6895470