Diego Marmsoler

• Formal Aspects of Component Software