@inproceedings{Kolanski_Klein_08,
    address          = {Toronto, Canada},
    author           = {Kolanski, Rafal and Klein, Gerwin},
    booktitle        = {Verified Software: Theories, Tools and Experiments},
    editor           = {{Natarajan Shankar, Jim Woodcock}},
    isbn             = {978-3-540-87872-8},
    keywords         = {isabelle, hol, virtual memory, separation logic},
    month            = oct,
    pages            = {15--29},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/705.pdf},
    publisher        = {Springer},
    title            = {Mapped Separation Logic},
    year             = {2008}
  }