Reasoning about Separation Using Abstraction and Reification.

Cliff B. Jones, Nisansala Yatapanage

Browse the full SEFM paper archive.