Formal Methods for Protocol Engineering and Distributed Systems: Forte XII | DealShopping Deutschland