Model Checking Software 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings Laarman, Alfons Heftet / 2021 / Engelsk
