@inproceedings{Kolanski_08,
    address          = {Sydney, Australia},
    author           = {Kolanski, Rafal},
    booktitle        = {Systems Software Verification},
    editor           = {{Ralf Huuck, Gerwin Klein, Bastian Schlich}},
    keywords         = {virtual memory separation logic},
    month            = jul,
    pages            = {61--77},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/112.pdf},
    title            = {A Logic for Virtual Memory},
    year             = {2008}
  }