Verification, Model Checking, and Abstract Interpretation
23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings
Szerző:
Bernd Finkbeiner, Thomas Wies
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
34 726
Ft
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Ch...
