On the Correctness of a Local Storage Subsystem.

Marco A. Casanova, Arnaldo V. Moura, Luiz Tucherman

Browse the full PODS paper archive.