SATISFIABILITY SOLVING FOR SOFTWARE VERIFICATION David D´eharbe DIMAp UFRN (Natal, Brazil) Silvio Ranise INRIA-Lorraine (Nancy, France) - David France - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2006-10-25 08:45:53		SATISFIABILITY SOLVING FOR SOFTWARE VERIFICATION David D´eharbe DIMAp/UFRN (Natal, Brazil) Silvio Ranise INRIA-Lorraine (Nancy, France) Add to Reading List Source URL: www.loria.fr Download Document from Source Website File Size: 309,43 KB Share Document on Facebook