Strong and weak contract formalism for third-party component reuse.

Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson

Browse the full ISSRE paper archive.