@inproceedings{Kolanski_08, address = {Sydney, Australia}, author = {Kolanski, Rafal}, booktitle = {Systems Software Verification}, editor = {{Ralf Huuck, Gerwin Klein, Bastian Schlich}}, keywords = {virtual memory separation logic}, month = jul, pages = {61--77}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/112.pdf}, title = {A Logic for Virtual Memory}, year = {2008} }