Towards Automated Property Discovery within Hume - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gudmund Grov, Andrew Ireland. Towards Automated Property Discovery within Hume. In Andrei Voronkov, Laura Kovács, Nikolaj Bjørner, editors, Second International Workshop on Invariant Generation, WING 2009, York, UK, March 29, 2009 and Third International Workshop on Invariant Generation, WING 2010, Edinburgh, UK, July 21, 2010. Volume 1 of EPiC Series, pages 111-127, EasyChair, 2010. [doi]

This author has not been identified. It may be one of the following persons:

Gudmund Grov

Look up 'Gudmund Grov' in GoogleThis author has not been identified. Look up 'Andrew Ireland' in Google

runs on WebDSL