Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings Neele, Thomas Heftet / 2024 / Engelsk
