Nuanced term-matching to assist in compositional safety assurance.

Katrina Attwood, Philippa Conmy

Browse the full ICSE paper archive.