Springer
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, Sbmf 2024, Vit?ria, Brazil, December 4-6, 2024, Proceedings
Product Code:
9783031781155
ISBN13:
9783031781155
Condition:
New
$71.82
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, Sbmf 2024, Vit?ria, Brazil, December 4-6, 2024, Proceedings
$71.82
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 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy.
| Author: Sidney C. Nogueira |
| Publisher: Springer |
| Publication Date: Nov 29, 2024 |
| Number of Pages: 205 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3031781155 |
| ISBN-13: 9783031781155 |
Related Products
