Verification, Model Checking, and Abstract Interpretation: 19th International Co
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018. (Lecture Notes in Computer Science, 10747),, Very Good Condition Book.