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 - researchr publication bibliographies

researchr

You are not signed in
Sign in
Sign up

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, EasyChair, 2012. [doi]

Conference: cade2012

runs on WebDSL