Model checking software. 26th international symposium, SPIN 2019, Beijing, China, July 15--16, 2019. Proceedings
scientific article