You are about to access our book library "Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings (Lecture Notes in Computer Science Book 12546) full version" .