Configuration-Aware Contracts.

Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans A. Hansson

Browse the full SAFECOMP paper archive.