Verification, Model Checking, and Abstract Interpretation
23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings
Autor:
Bernd Finkbeiner, Thomas Wies
Dostępność:
Dostępna u dostawcy
Wysyłamy za 5-8 dni
382.54
zł
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Ch...
