Spain

#	Item
11	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 Source URL: www.lsi.upc.edu Language: English - Date: 2013-07-22 05:25:54
12	PDF Document Add to Reading List Source URL: www.gem-spain.com - Date: 2017-02-03 03:10:57
13	PDF Document Add to Reading List Source URL: www.gem-spain.com - Date: 2017-04-12 05:28:38
14	PDF Document Add to Reading List Source URL: www.gem-spain.com - Date: 2018-02-17 16:01:52
15	PDF Document Add to Reading List Source URL: www.gem-spain.com - Date: 2016-12-13 16:38:50
16	PDF Document Add to Reading List Source URL: www.gem-spain.com - Date: 2016-06-13 06:18:30
17	PDF Document Add to Reading List Source URL: www.gem-spain.com - Date: 2012-02-08 14:32:38
18	PDF Document Add to Reading List Source URL: www.gem-spain.com - Date: 2016-12-13 16:41:21
19	PDF Document Add to Reading List Source URL: www.gem-spain.com - Date: 2015-02-20 14:38:25
20	PDF Document Add to Reading List Source URL: www.gem-spain.com - Date: 2012-02-08 14:33:42