A Compositional Formalization of Connector Wrappers.

Bridget Spitznagel, David Garlan

Browse the full ICSE paper archive.