This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually.
The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The papers detail the development, dissemination, and use of formal methods for the construction of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area
Produkteigenschaften
- Artikelnummer: 9783030921361
- Medium: Buch
- ISBN: 978-3-030-92136-1
- Verlag: Springer International Publishing
- Erscheinungstermin: 26.11.2021
- Sprache(n): Englisch
- Auflage: 1. Auflage 2021
- Serie: Programming and Software Engineering
- Produktform: Kartoniert
- Gewicht: 242 g
- Seiten: 141
- Format (B x H x T): 155 x 235 x 9 mm
- Ausgabetyp: Kein, Unbekannt