New Features and Applications of Vampire Symbol Elimination and Interpolation for Software Verification ´ Kryˇstof Hoder, Laura Kovacs, Andrei Voronkov - Andrei Voronkov - Document - PDFSEARCH.IO

First Page	Meta Content
	New Features and Applications of Vampire Symbol Elimination and Interpolation for Software Verification ´ Kryˇstof Hoder, Laura Kovacs, Andrei Voronkov Add to Reading List Document Date: 2011-08-03 05:21:47 Open Document File Size: 598,77 KB Share Result on Facebook

New Features and Applications of Vampire Symbol Elimination and Interpolation for Software Verification ´ Kryˇstof Hoder, Laura Kovacs, Andrei VoronkovAdd to Reading List