Formal Aspects of Component Software, Ivan Lanese | DealShopping Deutschland