%0 Journal Article %1 journals/tse/Rosenblum95a %A Rosenblum, David S. %D 1995 %J IEEE Trans. Software Eng. %K dblp %N 3 %P 265 %T Correction to Ä Practical Approach to Programming with Assertions". %U http://dblp.uni-trier.de/db/journals/tse/tse21.html#Rosenblum95a %V 21

@article{journals/tse/Rosenblum95a, added-at = {2015-12-10T00:00:00.000+0100}, author = {Rosenblum, David S.}, biburl = {https://www.bibsonomy.org/bibtex/25dc1967e9201ad84977e05689c960057/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.1995.10002}, interhash = {afd4195c67a99b0e04f05fde28139ad6}, intrahash = {5dc1967e9201ad84977e05689c960057}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 3, pages = 265, timestamp = {2015-12-12T11:44:41.000+0100}, title = {Correction to "A Practical Approach to Programming with Assertions".}, url = {http://dblp.uni-trier.de/db/journals/tse/tse21.html#Rosenblum95a}, volume = 21, year = 1995 }