Responsibility Analysis by Abstract Interpretation.

Chaoqiang Deng, Patrick Cousot

Browse the full SAS paper archive.