Verification, Model Checking, and Abstract Interpretation
27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
26 799
Ft
This book constitutes the proceedings of the 27th International Conference on Verification, Model Ch...
