Model checking software. 28th international symposium, SPIN 2022, virtual event, May 21, 2022. Proceedings
scientific article; zbMATH DE number 7596415