@inproceedings{Kolanski_Klein_09, address = {Munich, Germany}, author = {Kolanski, Rafal and Klein, Gerwin}, booktitle = {International Conference on Theorem Proving in Higher Order Logics}, editor = {{S. Berghofer, T. Nipkow, C. Urban, M. Wenzel}}, keywords = {isabelle/hol, virtual memory, sel4}, month = aug, pages = {276--292}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/1849.pdf}, publisher = {Springer}, title = {Types, Maps and Separation Logic}, year = {2009} }