Structural Invariants.

Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu

Browse the full SAS paper archive.