Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, ON, Canada, January 15-16, 2024, Proceedings, Part II
Dostupnost:
Skladem u dodavatele
Odesíláme za 10-18 dnů
1 650
Kč
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Confer...