Selective Presumed Benevolence in Multi-party System Verification.

Wolfgang Ahrendt, Gordon J. Pace

Browse the full ISoLA paper archive.