Corina S. Păsăreanu

• Computer Aided Verification
• Formal Aspects of Component Software