![](https://www.pdfsearch.io/img/cf5f26ba5776f145c7e4a369dfd50e0d.jpg) Date: 2013-07-22 05:25:54
| | 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 ListSource URL: www.lsi.upc.eduDownload Document from Source Website File Size: 196,82 KBShare Document on Facebook
|