%0 Journal Article %1 journals/scp/LeinoMS05 %A Leino, K. Rustan M. %A Millstein, Todd D. %A Saxe, James B. %D 2005 %J Sci. Comput. Program. %K dblp %N 1-3 %P 209-226 %T Generating error traces from verification-condition counterexamples. %U http://dblp.uni-trier.de/db/journals/scp/scp55.html#LeinoMS05 %V 55

@article{journals/scp/LeinoMS05, added-at = {2021-02-17T00:00:00.000+0100}, author = {Leino, K. Rustan M. and Millstein, Todd D. and Saxe, James B.}, biburl = {https://www.bibsonomy.org/bibtex/23c3903638cb3307223655afff378bf65/dblp}, ee = {https://doi.org/10.1016/j.scico.2004.05.016}, interhash = {47330ac5fc775a0405e6b081deb80e03}, intrahash = {3c3903638cb3307223655afff378bf65}, journal = {Sci. Comput. Program.}, keywords = {dblp}, number = {1-3}, pages = {209-226}, timestamp = {2024-04-09T05:28:39.000+0200}, title = {Generating error traces from verification-condition counterexamples.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp55.html#LeinoMS05}, volume = 55, year = 2005 }