File systems deserve verification too! Full Written Papers 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

  • 2013

Identity

Digital Object Identifier (DOI)

  • 10.1145/2525528.2525530

International Standard Book Number (ISBN) 13

  • 978-1-4503-2460-1

Additional Document Info

Parent Title

  • 7th Workshop on Programming Languages and Operating Systems (PLOS)
  • Proceedings of the 7th Workshop on Programming Languages and Operating Systems (PLOS)
  • Proceedings of the 7th Workshop on Programming Languages and Operating Systems, PLOS 2013 - In Conjunction with the 24th ACM Symposium on Operating Systems Principles, SOSP 2013

Number

  • 1

Publisher

  • Association for Computing Machinery