MeeK - Document - PDFSEARCH.IO - Document Search Engine

First Page	Meta Content
	Proving Termination of Imperative Programs Using Max-SMT Daniel Larraz, Albert Oliveras, Enric Rodr´ıguez-Carbonell, Albert Rubio Universitat Polit`ecnica de Catalunya, Barcelona, Spain Abstract—We show how Max-SMT Add to Reading List Document Date: 2013-07-22 05:25:54 Open Document File Size: 196,82 KB Share Result on Facebook

UPDATE

Proving Termination of Imperative Programs Using Max-SMT Daniel Larraz, Albert Oliveras, Enric Rodr´ıguez-Carbonell, Albert Rubio Universitat Polit`ecnica de Catalunya, Barcelona, Spain Abstract—We show how Max-SMT Add to Reading List