Edinburgh Research Explorer

Dr Yuhui Lin

(Former employee or visitor)

Research outputs

  1. Automating Event-B invariant proofs by rippling and proof patching

    Research output: Contribution to journalArticle

  2. Formal Analysis of Sneak-Peek: A Data-Centre Attack and its Mitigations

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. The Tinker tool for graphical tactic development

    Research output: Contribution to journalArticle

View all (15) »

ID: 40731840