Edinburgh Research Explorer

Dr Gudmund Grov

(Former employee or visitor)

Research outputs

  1. Automating change of representation for proofs in discrete mathematics

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

  2. Proof automation for functional correctness in separation logic

    Research output: Contribution to journalArticle

View all (15) »

ID: 219921