Gerhard Schellhorn, Stefan Bodenmüller, Jörg Pfähler, Wolfgang Reif
Postprint
Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings