Verification, Model Checking, and Abstract Interpretation
23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings
Autor:
Bernd Finkbeiner, Thomas Wies
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
497.40
lei
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Ch...
