Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings - Dillig, Isil; Dillig, Isil; Palsberg, Jens; Palsberg, Jens (Springer International Publishing : Imprint: Springer, 2018)