Ori Lahav Books
Verification, Model Checking, And Abstract Interpretation
By Sebastian Wolff, Ori Lahav, Rayna Dimitrova, Rayna Dimitrova (Editor), Ori Lahav (Editor), Sebastian Wolff (Editor)
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place i...
Read More