Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings - Enea, Constantin; Enea, Constantin; Piskac, Ruzica; Piskac, Ruzica (Springer International Publishing : Imprint: Springer, 2019)