%0 Journal Article %1 journals/tc/VemuA11 %A Vemu, Ramtilak %A Abraham, Jacob A. %D 2011 %J IEEE Trans. Computers %K dblp %N 9 %P 1233-1245 %T CEDA: Control-Flow Error Detection Using Assertions. %U http://dblp.uni-trier.de/db/journals/tc/tc60.html#VemuA11 %V 60

@article{journals/tc/VemuA11, added-at = {2015-12-22T00:00:00.000+0100}, author = {Vemu, Ramtilak and Abraham, Jacob A.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f47cd8daf7faa022f7783e53c4277198/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TC.2011.101}, interhash = {cf77aeaeaa5187c6a026a680631f1cd5}, intrahash = {f47cd8daf7faa022f7783e53c4277198}, journal = {IEEE Trans. Computers}, keywords = {dblp}, number = 9, pages = {1233-1245}, timestamp = {2016-02-02T02:36:12.000+0100}, title = {CEDA: Control-Flow Error Detection Using Assertions.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc60.html#VemuA11}, volume = 60, year = 2011 }