@inproceedings{Syeda_Klein_17,
    address          = {Maun, Botswana},
    author           = {Syeda, Hira Taqdees and Klein, Gerwin},
    booktitle        = {International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
    keywords         = {ts, proofeng},
    month            = may,
    pages            = {490--508},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/9540.pdf},
    title            = {Reasoning about Translation Lookaside Buffers},
    year             = {2017}
  }