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