Certified Reasoning in Memory Hierarchies.

Gilles Barthe, Csar Kunz, Jorge Luis Sacchini

Browse the full APLAS paper archive.