Comparer les boutiques en ligne (2)
Shop
Prix
Affranchissement
Prix total
Verification, Model Checking, and Abstract Interpretation: 27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings