Finkbeiner / Wies | Verification, Model Checking, and Abstract Interpretation | E-Book | www.sack.de
E-Book

E-Book, Englisch, 520 Seiten

Reihe: Computer Science

Finkbeiner / Wies Verification, Model Checking, and Abstract Interpretation

23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
1. Auflage 2022
ISBN: 978-3-030-94583-1
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings

E-Book, Englisch, 520 Seiten

Reihe: Computer Science

ISBN: 978-3-030-94583-1
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.

The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

Finkbeiner / Wies Verification, Model Checking, and Abstract Interpretation jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Finkbeiner, Bernd
Wies, Thomas
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.