Jinyun Xue

• Formal Aspects of Component Software