Under-Approximating Memory Abstractions.

Marco Milanese, Antoine Min

Browse the full SAS paper archive.