Lima / Molnár | Formal Methods: Foundations and Applications | Buch | 978-3-031-22475-1 | www2.sack.de

Buch, Englisch, 143 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 260 g

Reihe: Lecture Notes in Computer Science

Lima / Molnár

Formal Methods: Foundations and Applications

25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings
1. Auflage 2022
ISBN: 978-3-031-22475-1
Verlag: Springer

25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings

Buch, Englisch, 143 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 260 g

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-031-22475-1
Verlag: Springer

This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held  virtually in December 2022.

The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on 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.

Lima / Molnár Formal Methods: Foundations and Applications jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Lima, Lucas
Molnár, Vince

Fachgebiete

Weitere Infos & Material

Invited Talks.- Model Checking and Semantics.- Generation and Synthesis.- Verification and Solvers.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.