On Logics of Aliasing.

Marius Bozga, Radu Iosif, Yassine Lakhnech

Browse the full SAS paper archive.