Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings Biondi, Fabrizio Heftet / 2019 / Engelsk
