@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} }