Verification, Model Checking, and Abstract Interpretation
23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings
Autor:
Bernd Finkbeiner, Thomas Wies
Dostupnost:
Skladem u dodavatele
Odesíláme za 5-8 dnů
2 058
Kč
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Ch...
