%0 Conference Paper %1 conf/fmcad/LarrazORR13 %A Larraz, Daniel %A Oliveras, Albert %A Rodríguez-Carbonell, Enric %A Rubio, Albert %B FMCAD %D 2013 %I IEEE %K dblp %P 218-225 %T Proving termination of imperative programs using Max-SMT. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2013.html#LarrazORR13

@inproceedings{conf/fmcad/LarrazORR13, added-at = {2013-12-11T00:00:00.000+0100}, author = {Larraz, Daniel and Oliveras, Albert and Rodríguez-Carbonell, Enric and Rubio, Albert}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20584bf9d5f788c3947f3370dbfa336ab/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2013}, ee = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6679413}, interhash = {3df0c76d29fb7255e3a53ba30f7c5581}, intrahash = {0584bf9d5f788c3947f3370dbfa336ab}, keywords = {dblp}, pages = {218-225}, publisher = {IEEE}, timestamp = {2016-02-02T12:39:31.000+0100}, title = {Proving termination of imperative programs using Max-SMT.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2013.html#LarrazORR13}, year = 2013 }