Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, ON, Canada, January 15-16, 2024, Proceedings, Part II
Disponibilitate:
În depozitul extern
Expediem în 10-18 zile
378.33
lei
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Confer...
