Login / Signup

On the Correctness of a Local Storage Subsystem.

Marco A. CasanovaArnaldo V. MouraLuiz Tucherman
Published in: PODS (1985)
Keyphrases