Verification, Model Checking, and Abstract Interpretation
23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings
Price for Eshop: 2239 Kč (€ 89.6)
VAT 0% included
New
E-book delivered electronically online
E-Book information
Springer International Publishing
2022
EPub, PDF
How do I buy e-book?
978-3-030-94583-1
3-030-94583-9
Annotation
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.
Ask question
You can ask us about this book and we'll send an answer to your e-mail.