Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland | DealShopping Deutschland