File Systems Deserve Verification Too!

Gabriele Keller, Toby Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser

Research output: Contribution to journal › Article › peer-review

  • 1 Conference contribution

Search results

  • 2013

    File Systems Deserve Verification Too!

    Keller, G., Murray, T., Amani, S., O'Connor, L., Chen, Z., Ryzhyk, L., Klein, G. & Heiser, G., 3 Nov 2013, Proceedings of the Seventh Workshop on Programming Languages and Operating Systems. New York, NY, USA: ACM Association for Computing Machinery, 7 p. 1

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution