You are about to access our book library "Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings (Theoretical Computer Science and General Issues) full version" .