"Second International Workshop on Invariant Generation, WING 2009, York, ..."

Andrei Voronkov, Laura Kovács, Nikolaj Bjørner (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics