• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Reasoning about block-based cloud storage systems via separation logic.

Zhao JinBowen ZhangTianyue CaoYongzhi CaoHanpin Wang
Published in: Theor. Comput. Sci. (2022)
Keyphrases
  • computer systems
  • cloud storage
  • databases