Department of Computer Science

• Published

  Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

• Published

  A Dependently Typed Library for Static Information-Flow Control in IDRIS

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

View all (2) »