Verification, Model Checking, and Abstract Interpretation
27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
408.25
lei
This book constitutes the proceedings of the 27th International Conference on Verification, Model Ch...
