Preserving Contract Satisfiability Under Non-monotonic Composition.

Jonas Westman, Mattias Nyberg

Browse the full FORTE paper archive.