@inproceedings{Klein_KB_12,
    address          = {Princeton, USA},
    author           = {Klein, Gerwin and Kolanski, Rafal and Boyton, Andrew},
    booktitle        = {International Conference on Interactive Theorem Proving},
    editor           = {{Lennart Beringer and Amy Felty}},
    keywords         = {isabelle, separation logic},
    month            = aug,
    pages            = {332--337},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/5676.pdf},
    publisher        = {Springer},
    title            = {Mechanised Separation Algebra},
    year             = {2012}
  }