@article{Zhao_26,
    author           = {Junming Zhao},
    journal          = {Isabelle Workshop},
    month            = jul,
    numpages         = {17},
    paperurl         = {https://trustworthy.systems/publications/papers/Zhao_26.pdf},
    title            = {Mechanising Local Rely-Guarantee Reasoning over the {seL4} Trace Monad},
    year             = {2026}
  }