Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 19-25, 2020, ... in Computer Science (11990), Band 11990)