Author:Gudmund Grov

Publications
Towards Automated Property Discovery within Hume Gudmund Grov and Andrew Ireland In:WING 2010. Workshop on Invariant Generation 2010
Synthesising Functional Invariants in Separation Logic Ewen Maclean, Andrew Ireland and Gudmund Grov In:WING 2010. Workshop on Invariant Generation 2010