Reasoning about hierarchical storage (2003)

by A Ahmed, L Jia, D Walker
Venue:In IEEE Symposium on Logic in Computer Science