@phdthesis{Amani:phd,
    address          = {Sydney, Australia},
    author           = {Amani, Sidney},
    keywords         = {file system, verification, isabelle/hol, modularity},
    month            = aug,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/9502.pdf},
    school           = {CSE, UNSW},
    title            = {A Methodology for Trustworthy File Systems},
    type             = {{PhD} Thesis},
    year             = {2016}
  }