Model checking software. 27th international symposium, SPIN 2021, virtual event, July 12, 2021. Proceedings
scientific article; zbMATH DE number 7386991