Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20--23, 2021. Proceedings. Part II
scientific article; zbMATH DE number 7386977