File systems deserve verification too! Journal Articles Refereed uri icon

Overview

Authors

  • Authorship

    • KELLER G
    • DR Toby Murray
    • AMANI S
    • O'CONNOR L
    • CHEN Z
    • RYZHYK L
    • KLEIN G
    • HEISER G

Time

Date/time value

  • 2014

Identity

Digital Object Identifier (DOI)

  • 10.1145/2626401.2626414

Additional Document Info

Parent Title

  • ACM SIGOPS Operating Systems Review
  • Operating Systems Review (ACM)

Volume

  • 48

Issue

  • 1

Publisher

  • Association for Computing Machinery