Verification, Model Checking, and Abstract Interpretation
27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings
Dostupnost:
Skladem u dodavatele
Odesíláme za 5-8 dnů
1 694
Kč
This book constitutes the proceedings of the 27th International Conference on Verification, Model Ch...
