Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings Raschke, Alexander Heftet / 2020 / Engelsk