%0 Journal Article %1 journals/sttt/LopesM16 %A Lopes, Nuno P. %A Monteiro, José %D 2016 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 4 %P 359-374 %T Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic. %U http://dblp.uni-trier.de/db/journals/sttt/sttt18.html#LopesM16 %V 18

@article{journals/sttt/LopesM16, added-at = {2022-02-23T00:00:00.000+0100}, author = {Lopes, Nuno P. and Monteiro, José}, biburl = {https://www.bibsonomy.org/bibtex/298937136f929fa5dd162e6d8499b3a6b/dblp}, ee = {https://doi.org/10.1007/s10009-015-0366-1}, interhash = {9a2d1812251f37b7423957acbefc2289}, intrahash = {98937136f929fa5dd162e6d8499b3a6b}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 4, pages = {359-374}, timestamp = {2024-04-08T20:36:30.000+0200}, title = {Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt18.html#LopesM16}, volume = 18, year = 2016 }