%0 Journal Article %1 journals/fuin/BarbutiCT04 %A Barbuti, Roberto %A Cataudella, Stefano %A Tesei, Luca %D 2004 %J Fundam. Informaticae %K dblp %N 1-4 %P 67-79 %T Abstract Interpretation Against Races. %U http://dblp.uni-trier.de/db/journals/fuin/fuin60.html#BarbutiCT04 %V 60

@article{journals/fuin/BarbutiCT04, added-at = {2020-09-18T00:00:00.000+0200}, author = {Barbuti, Roberto and Cataudella, Stefano and Tesei, Luca}, biburl = {https://www.bibsonomy.org/bibtex/2ef9976e8e0e00e3ccd0b2f73e6a307e4/dblp}, ee = {http://content.iospress.com/articles/fundamenta-informaticae/fi60-1-4-06}, interhash = {fc70842fce372f6fd0d9e7fae73eff23}, intrahash = {ef9976e8e0e00e3ccd0b2f73e6a307e4}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = {1-4}, pages = {67-79}, timestamp = {2020-09-19T11:35:34.000+0200}, title = {Abstract Interpretation Against Races.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin60.html#BarbutiCT04}, volume = 60, year = 2004 }