Corina S Pasareanu

Formal Aspects of Component Software