Verification, model checking, and abstract interpretation 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021 : proceedings - Henglein, Fritz (Lecture notes in computer science, 2021)