%0 Journal Article %1 journals/tse/CasoBGU12 %A de Caso, Guido %A Braberman, Víctor A. %A Garbervetsky, Diego %A Uchitel, Sebastián %D 2012 %J IEEE Trans. Software Eng. %K %N 1 %P 141-162 %T Automated Abstractions for Contract Validation. %U http://dblp.uni-trier.de/db/journals/tse/tse38.html#CasoBGU12 %V 38

@article{journals/tse/CasoBGU12, added-at = {2023-12-13T09:37:27.000+0100}, author = {de Caso, Guido and Braberman, Víctor A. and Garbervetsky, Diego and Uchitel, Sebastián}, biburl = {https://www.bibsonomy.org/bibtex/2e33364d53995af9dad1339dab17c08d0/admin}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2010.98}, interhash = {cfe59c910ef800aa4033b4d80642143a}, intrahash = {e33364d53995af9dad1339dab17c08d0}, journal = {IEEE Trans. Software Eng.}, keywords = {}, number = 1, pages = {141-162}, timestamp = {2023-12-13T09:37:27.000+0100}, title = {Automated Abstractions for Contract Validation.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse38.html#CasoBGU12}, volume = 38, year = 2012 }