Compositional Verification of Middleware-Based Software Architecture Descriptions.

Mauro Caporuscio, Paola Inverardi, Patrizio Pelliccione

Browse the full ICSE paper archive.