Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17--19, 2021. Proceedings
scientific article; zbMATH DE number 7372838