Towards an assume-guarantee theory for adaptable systems.

Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli

Browse the full ICSE paper archive.