Using Dominators to Extract Observable Protocol Contexts.

Mahadevan Subramaniam, Jiangfan Shi

Browse the full SEFM paper archive.