Edinburgh Research Explorer

Dr Lucas Dixon

(Former employee or visitor)

Research outputs

  1. Refinement and Term Synthesis in Loop Invariant Generation

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

  2. Scheme-based theorem discovery and concept invention

    Research output: Contribution to journalArticle

  3. A small experiment in Event-B rippling

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

View all (10) »

ID: 6098841