Ivan Lanese; Eric Madelaine / Formal Aspects of Component Software | Kaicus Deutschland