Information Flow Analysis in Logical Form.

Torben Amtoft, Anindya Banerjee

Browse the full SAS paper archive.