@misc{Amani_RM_12,
    author           = {Sidney Amani and Leonid Ryzhyk and Toby Murray},
    howpublished     = {Poster presentation at EuroSys Doctoral Workshop, Bern, Switzerland},
    month            = apr,
    paperurl         = {https://trustworthy.systems/publications/papers/Amani_RM_12.pdf},
    title            = {Towards a Fully Verified File System},
    url              = {https://trustworthy.systems/publications/papers/Amani_RM_12.abstract.pml},
    year             = {2012}
  }