Locality-Based Abstractions.

Javier Esparza, Pierre Ganty, Stefan Schwoon

Browse the full SAS paper archive.